--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on July 2015 ---
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>