Model checker fails to deal with guards that are standalone boolean expressions
guards like:
- “aBooleanVar”
- “aVar == 1 && aBooleanVar”
produce an error.
(from redmine: issue id 710, created on 2012-03-10, closed on 2012-03-10)
- Relations:
- parent #849 (closed)