Frama-C Bug Tracking System - Frama-C
View Issue Details
0001788Frama-CDocumentation > ACSLpublic2014-05-28 14:082015-03-17 22:18
DavidCok 
virgile 
normalminoralways
closedfixed 
Frama-C Neon-20140301 
Frama-C Sodium 
0001788: predicate-def and logic-predicate-def
The ACSL grammar contains symbols for both predicate-def and logic-predicate-def. The latter is defined but not used. Consistency would say they both should be 'logic-predicate-def'.
No tags attached.
Issue History
2014-05-28 14:08DavidCokNew Issue
2014-05-28 14:08DavidCokStatusnew => assigned
2014-05-28 14:08DavidCokAssigned To => signoles
2014-06-03 08:38signolesAssigned Tosignoles => virgile
2014-06-19 11:10virgileNote Added: 0005232
2014-06-19 11:10virgileStatusassigned => resolved
2014-06-19 11:10virgileResolutionopen => fixed
2015-02-16 09:57virgileRelationship addedrelated to 0002009
2015-03-17 22:17signolesFixed in Version => Frama-C Sodium
2015-03-17 22:18signolesStatusresolved => closed
2016-06-21 14:11signolesCategoryDocumentation => Documentation > ACSL

Notes
(0005232)
virgile   
2014-06-19 11:10   
Fix committed to master branch.