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

testclass StaticChoice for statechart StaticChoice{
	@Test
	operation StaticChoiceTest(){ 
		enter
		assert active(StaticChoice.main_region.Start)
		proceed 1 cycle
		//assert active(StaticChoice.main_region.B) // doesn't work atm		 
	} 
}