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

testgroup Operations for statechart Operations{
	test OperationsSimpleTest { 
		enter
//		assert active (Operations.main_region.A)
//		
//		cycle
//		assert active (Operations.main_region.B)
		 
	}
	
	
//	test OperationsTest { 
//		enter
//		assert active (Operations.main_region.A)
//		
//		cycle
//		assert active (Operations.main_region.B)
//		raise ev
//		cycle
//		
//		assert active (Operations.main_region.C)
//		raise ev	
//		cycle	
//	
//		assert active (Operations.main_region.D)		
//		 
//	}  
}