--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on May 2014 ---
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>