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

testclass RaiseEvent for statechart RaiseEvent {
	@Test
	operation raiseEvent(){
		
		enter
		
		assert active ( RaiseEvent.second_region.SateA)
		assert active (RaiseEvent.main_region.StateA)
		raise e2
		proceed 1 cycle
		proceed 1 cycle
		assert active (RaiseEvent.second_region.StateB)
		assert active (RaiseEvent.main_region.StateB)
	}
}