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

testgroup FinalState for statechart FinalState{
	test StatechartNameTest { 
		enter
		cycle
		assert is_final
		 
	} 
}