Skip to content

provide option "-wp-lemma"

ID0002202: This issue was created automatically from Mantis Issue 2202. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0002202 Frama-C Plug-in > wp public 2016-01-23 2016-02-23
Reporter jens Assigned To correnson Resolution no change required
Priority normal Severity feature Reproducibility always
Platform - OS - OS Version -
Product Version Frama-C Sodium Target Version - Fixed in Version -

Description :

WP has several options to consider only individual functions, properties, or behaviors during verification. It would be nice if there were an option "-wp-lemma 'name' " which would allow to consider only the names lemma.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information