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

testgroup NullCheck for statechart NullCheck {
	
	test SimpleNullCheckTest { 
		enter
				
		assert active(NullCheck.main_region.A)
		cycle
		assert active(NullCheck.main_region.B)			

	} 
}