Transition Guard Expressions and Test Case Generation
Using the ACC Example from the Library:
If the Transition Guard of Transition “Break” is changed from
“BreakCmd != NoVal && BreakCmd >0”
to
“BreakCmd >0 ”
the generation of test cases is no longer possible. It fails wihtout any
warning or error (not even on the console).
This is especially annoying since the “BreakCmd != NoVal” is not necessary (it is implied from BreakCmd >0) and only leads to a less readable specification.
(from redmine: issue id 1675, created on 2013-09-03, closed on 2013-10-14)