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

testclass NullCheck for statechart NullCheck {
	@Test
	operation SimpleNullCheckTest(){ 
		enter
				
		assert active(NullCheck.main_region.A)
		proceed 1 cycle
		assert active(NullCheck.main_region.B)			

	} 
}