provide option "-wp-lemma"
ID0002202: This issue was created automatically from Mantis Issue 2202. Further discussion may take place here.
|ID0002202||Frama-C||Plug-in > wp||public||2016-01-23||2016-02-23|
|Reporter||jens||Assigned To||correnson||Resolution||no change required|
|Product Version||Frama-C Sodium||Target Version||-||Fixed in Version||-|
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.