--- layout: fc_discuss_archives title: Message 76 from Frama-C-discuss on November 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] adding new provers to why3




As suggested by Virgile, Why3 cannot find the Simplify executable if its
names finished with .linux or .macos or whatever.

The possible names of provers' executables are not easy to guess. For
those who want to know, Why3 looks for the names that are listed in the
file

/usr/local/share/why3/provers-detection-data.conf

- Claude