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

testgroup StateWithEmptyRegion for statechart StateWithEmptyRegion{
	test StateWithEmptyRegionTest { 
		enter
		assert active(StateWithEmptyRegion.main_region.A)
		cycle
		
		assert active(StateWithEmptyRegion.main_region.B)	 
	} 
}