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

package tests
testclass FinalState for statechart FinalState{
	operation StatechartNameTest(){ 
		enter
		cycle
		assert is_final
		 
	} 
}