--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on July 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [wp] Was -wp-unsat-model removed?



Hello,

I am using Frama-C Sodium-20150201.  The WP 0.8 plugin manual documents the
-wp-unsat-model and -wp-no-unsat-model options on page 22.  There is also a
thread to this mailing list which mentions the -wp-unsat-model option:
http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2013-November/004100.html

When I try to use -wp-unsat-model, I get an error:

[kernel] user error: option `-wp-unsat-model' is unknown.

Also, running  frama-c -wp-help  does not show the availability of this
option.

Was this feature removed at some point, or was it renamed?

Daniel Trebbien
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150721/434f50e9/attachment.html>