The back port of libutap done between 3.4.10 and 3.4.11 allows a more liberal syntax for invariants and
guards. However, this extension is only supported by 3.5.7 and not 3.4.11. Hence the engine crashes
when these extensions are used.
As a concrete example the expression 'b imply x <= 10' for b being a boolean and x a clock is accepted as
valid syntax for invariants and guards, but causes an engine crash when switching to the simulator.
Created attachment 46 [details]
A fix has been checked into CVS.
The mentioned expressions are now reported as syntax errors.