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

testgroup EntryExitSelfTransition for statechart EntryExitSelfTransition{
	test EntryExitSelfTransitionTest { 
		enter
		
		cycle
		assert x == 1 
		
		raise e
		cycle
		assert x == 3
		 
	} 
}