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

testclass Guard for statechart Guard {
	@Test
	operation guardTest(){
		enter
		assert active (Guard.main_region.A)
		raise Event1
		proceed 1 cycle
		
		assert active (Guard.main_region.A)
		raise Event2 
		proceed 1 cycle
		
		assert active (Guard.main_region.B)
		raise Return
		proceed 1 cycle
		
		assert active (Guard.main_region.A)
		raise Event1 
		proceed 1 cycle
		
		assert active (Guard.main_region.B)
		raise Return
		proceed 1 cycle
		 
		assert active (Guard.main_region.A)  
	}
}