Test harness doesn't report internal transitions #7
Description
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().