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.