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

testclass FinalState for statechart FinalState{
	@Test
	operation StatechartNameTest(){ 
		enter
		proceed 1 cycle
		assert is_final
		 
	} 
}