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

testclass EntryChoice for statechart EntryChoice {
	@Test
	operation EntryChoiceTest(){
		enter
		proceed 1 cycle
		proceed 1 cycle
		assert active ( EntryChoice.main_region.A )
	}
}