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

testgroup StaticChoice for statechart StaticChoice{
	
	test StaticChoiceTest { 
		enter
		assert active(StaticChoice.main_region.Start)
		cycle
		//assert active(StaticChoice.main_region.B) // doesn't work atm		 
	} 
}