testgroup TransitionWithoutCondition for statechart TransitionWithoutCondition{ test TransitionWithoutConditionTest{ enter assert active(TransitionWithoutCondition.main_region.A) cycle assert active(TransitionWithoutCondition.main_region.B) } }