associativity of U operator
Epispin gives an informative message on the following expression:
ltl {p U q U z}
saying that this expression is ambiguous.
However, spin itself consistenly uses left associativity in these kinds of expressions.
I have not yet checked the other (similar) operators.
Submitted by Kees Pronk on 4 November 2011 at 17:57
Issue Log
On 5 November 2011 at 09:55 Bob de Vos commented:
Other operators probably had the same problem. Fixed now.
On 5 November 2011 at 09:55 Bob de Vos closed this issue.
On 5 November 2011 at 12:21 Bob de Vos tagged fixed1.0.4
On 5 November 2011 at 12:21 Bob de Vos tagged ltl
Log in to post comments