Issue on expressions evaluation in AVATAR state machines guards
Hello,
We face the following bug: when a comparison is performed within an AVATAR state machine guard (e.g., (a-b) < 42) and when the first term of the evaluated formula is an expression (e.g., a-b), the formula is always evaluated to true (in simulation and in formal verification).
However, when the second term of the formula is an expression (i.e., if the guard evaluates 42 > (a-b) instead of (a-b) < 42), then the evaluation is correct.
I join a simple AVATAR model illustrating this issue.
Cheers, Bastien