Idle action in ModelChecking for TestSuite Specification missing
For TestSuite Specification, idle actions of a State Automaton should also be checked
(from redmine: issue id 1045, created on 2012-11-27, closed on 2020-05-11)
For TestSuite Specification, idle actions of a State Automaton should also be checked
(from redmine: issue id 1045, created on 2012-11-27, closed on 2020-05-11)