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

testclass SimpleHierachy for statechart SimpleHierachy {
	@Test
	operation simpleHierachyTest(){
		
		enter
		
		assert active (SimpleHierachy.main_region.A)
		raise Event1
		raise Event1
		raise Event1
		proceed 1 cycle
		assert active (SimpleHierachy.main_region.B)
		assert active (SimpleHierachy.main_region.B.subregion1.B1)
	}
}