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

testgroup DynamicChoice for statechart DynamicChoice{
	
	test DynamicChoiceTest { 
		enter		
		assert active(DynamicChoice.main_region.Start)
		cycle
		assert active(DynamicChoice.main_region.A)	 
	} 
}