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

testgroup CKeywords for statechart CKeywords { 
	test CKeywordsTest { 
		enter
		assert active ( CKeywords.auto.char ) 
		raise auto 
		cycle 
		assert active (CKeywords.auto.const ) 
		assert active ( CKeywords.auto.const.switch.case )
		assert active ( CKeywords.auto.const.switch.case.enum.asm ) 
	} 
}