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

testgroup EmptyTransition for statechart EmptyTransition{
	test EmptyTransitionTest { 
		enter
		cycle
		assert !active (EmptyTransition.main_region.B)
		assert active  (EmptyTransition.main_region.A) 
		 
	} 
}