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

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