Frama-C Bug Tracking System - Frama-C
View Issue Details
0002317Frama-CDocumentation > manualspublic2017-07-18 11:072017-07-19 08:45
jens 
correnson 
normaltextN/A
assignedopen 
Frama-C 15-Phosphorus 
 
0002317: Statement contracts and WP
This 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.
No tags attached.
related to 0002300closed patrick suggest to clarify semantics of statement contract in ACSL implementation manual 
Issue History
2017-07-18 11:07jensNew Issue
2017-07-18 11:13yakobowskiRelationship addedrelated to 0002300
2017-07-18 11:23yakobowskiAssigned To => patrick
2017-07-18 11:23yakobowskiStatusnew => assigned
2017-07-19 08:45patrickAssigned Topatrick => correnson

There are no notes attached to this issue.