Is it the intended behaviour that the test harness does not report internal transitions? For example, if I run the test harness with models/TestModels/transitions/Transitions.plantuml and send Ev2 when in the S1 state, the harness does not report action a1().
Is it the intended behaviour that the test harness does not report internal transitions? For example, if I run the test harness with
models/TestModels/transitions/Transitions.plantumland sendEv2when in theS1state, the harness does not report actiona1().