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

package tests
testclass NullCheck for statechart NullCheck {
	
	operation SimpleNullCheckTest(){ 
		enter
				
		assert active(NullCheck.main_region.A)
		cycle
		assert active(NullCheck.main_region.B)			

	} 
}