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

testclass SameNameDifferentRegion for statechart SameNameDifferentRegion {
	@Test
	operation sameNameDifferenRegionTest(){
		
		enter		
		
		assert active ( SameNameDifferentRegion.main_region.StateA)
		raise e1
		proceed 1 cycle
		assert active (SameNameDifferentRegion.main_region.StateB)
		assert active (SameNameDifferentRegion.main_region.StateB.r1.StateA)
		raise e1
		proceed 1 cycle
		assert active (SameNameDifferentRegion.main_region.StateB) 
		assert active (SameNameDifferentRegion.main_region.StateB.r1.StateB) 
	}
}