--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on May 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL grammar missing a rule for predicate?



The ACSL grammar in ACSL Version 1.8 Implementation in Neon-20140301
contains rules for the non-terminal 'pred' (Fig. 2.2 and elsewhere) and also 
uses the non-terminal 'predicate', for example in the requires-clause 
(and other clause definitions).

However, I do not see a definition for 'predicate'.

Is 'predicate' supposed to be the same as 'pred' ?

- David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20140524/223d735c/attachment-0001.html>