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