Frama-C Bug Tracking System - Frama-C
View Issue Details
0002450Frama-CDocumentation > manualspublic2019-06-09 20:332019-07-17 10:51
kiniry 
patrick 
normalminorhave not tried
resolvedfixed 
Frama-C 18-Argon 
Frama-C 19-Potassium 
0002450: formatting problem in acsl-implementation-18.0-Argon.pdf
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.
No tags attached.
Issue History
2019-06-09 20:33kiniryNew Issue
2019-07-16 12:11signolesAssigned To => patrick
2019-07-16 12:11signolesStatusnew => assigned
2019-07-17 10:46patrickNote Added: 0006820
2019-07-17 10:51patrickNote Added: 0006821
2019-07-17 10:51patrickStatusassigned => resolved
2019-07-17 10:51patrickFixed in Version => Frama-C 19-Potassium
2019-07-17 10:51patrickResolutionopen => fixed

Notes
(0006820)
patrick   
2019-07-17 10:46   
Yes, that has been fixed in next version of the document acsl-implementation-19.0-Potassium.pdf.
(0006821)
patrick   
2019-07-17 10:51   
Note: next issues about ACSL should not be reported on this mantis bug tracker, but at https://github.com/acsl-language/acsl