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

testclass DynamicChoice for statechart DynamicChoice{
	@Test
	operation DynamicChoiceTest(){ 
		enter		
		assert active(DynamicChoice.main_region.Start)
		proceed 1 cycle
		assert active(DynamicChoice.main_region.A)	 
	} 
}