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

testgroup EntryChoice for statechart EntryChoice {
	test EntryChoiceTest {
		enter
		cycle
		cycle
		assert active ( EntryChoice.main_region.A )
	}
}