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

[Frama-c-discuss] chained comparisons



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>