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

testgroup StatemachineKeywords for statechart StatechartKeywords {
	test statemachineKeywords { 
		enter
		assert active(StatechartKeywords.main_region.Timer) 
		 
	} 
}