Support of \block_length
ID0000903: This issue was created automatically from Mantis Issue 903. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000903 | Frama-C | Plug-in > wp | public | 2011-07-29 | 2012-12-06 |
| Reporter | patrick | Assigned To | correnson | Resolution | fixed |
| Priority | low | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | - |
Description :
Properties containing \block_length construct cannot be proved.