Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002450Frama-CDocumentation > manualspublic2019-06-09 20:332019-06-09 20:33
Reporterkiniry 
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusnewResolutionopen 
PlatformOSOS Version
Product VersionFrama-C 18-Argon 
Target VersionFixed in Version 
Summary0002450: formatting problem in acsl-implementation-18.0-Argon.pdf
DescriptionSee 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.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2019-06-09 20:33 kiniry New Issue


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker