package tests
testclass TransitionWithoutCondition for statechart TransitionWithoutCondition{
	
	operation TransitionWithoutConditionTest(){ 
		enter
		
		assert active(TransitionWithoutCondition.main_region.A)
	
		cycle
			
		assert active(TransitionWithoutCondition.main_region.B)
	
		 
	} 
}