
testgroup ExitOnSelfTransition for statechart ExitOnSelfTransition {
	test ExitOnSelfTransitionTest { 
		
		enter
		
		assert active(ExitOnSelfTransition.main_region.A) 
		assert entryCount == 1 
		assert exitCount == 0
		
		raise e
		cycle
		assert entryCount == 2
		assert exitCount == 1
		
		raise f
		cycle
		assert entryCount == 2
		assert exitCount == 2 
	} 
}
	