--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on May 2015 ---
The ACSL1.9 document defines and discusses chained comparisons:Fig 2.2 gives a rule for pred as term ( rel-op term )+ But Fig 2.1 does not give a corresponding rule for terms.It just says that a term can be? term bin-op term Is it intended that chained comparisons may be used only in predicate position?Or is it implicitly allowed for terms also? since term bin-op term bin-op termparses as an appropriate tree? Thanks, - David -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150523/716e67a3/attachment.html>