Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002317Frama-CDocumentation > manualspublic2017-07-18 11:072017-07-19 08:45
Reporterjens 
Assigned Tocorrenson 
PrioritynormalSeveritytextReproducibilityN/A
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C 15-Phosphorus 
Target VersionFixed in Version 
Summary0002317: Statement contracts and WP
DescriptionThis is a follow-up on issue https://bts.frama-c.com/view.php?id=2300 [^] which was rather briskly closed.

I can understand that the question on the semantics of statement contracts in WP is not discussed in the ACSL implementation manual. However, in my opinion, it should then be discussed in the WP manual.
TagsNo tags attached.
Attached Files

- Relationships
related to 0002300closedpatrick suggest to clarify semantics of statement contract in ACSL implementation manual 

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2017-07-18 11:07 jens New Issue
2017-07-18 11:13 yakobowski Relationship added related to 0002300
2017-07-18 11:23 yakobowski Assigned To => patrick
2017-07-18 11:23 yakobowski Status new => assigned
2017-07-19 08:45 patrick Assigned To patrick => correnson


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker