yakindu/test-plugins/org.yakindu.sct.test.models/tests/TransitionWithoutCondition.sctunit

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