formatting problem in acsl-implementation-18.0-Argon.pdf
ID0002450: This issue was created automatically from Mantis Issue 2450. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002450 | Frama-C | Documentation > manuals | public | 2019-06-09 | 2020-02-17 |
| Reporter | kiniry | Assigned To | patrick | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C 18-Argon | Target Version | - | Fixed in Version | Frama-C 20-Calcium |
Description :
See page 45 of the manual. There is a formatting error pushing at least a paragraph about statement contracts off the lower right hand corner of the page.