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

testclass StatemachineKeywords for statechart StatechartKeywords {
	@Test
	operation statemachineKeywords(){ 
		enter
		assert active(StatechartKeywords.main_region.Timer) 
		 
	} 
}