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

testclass LocalReactions for statechart LocalReactions{
	@Test
	operation LocalReactionsTest(){ 
		
		enter
		assert active(LocalReactions.main_region.A) 
		proceed 1 cycle
		assert x == 1
		 
	} 
}