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

testcase for StateIsActive{
	test stateIsActive{
		assert active (StateIsActive.R1.R1A )
		assert active (StateIsActive.R2.R2A)
		raise Event1
		cycle
		cycle //Todo warum 2 cycle?
		assert active(StateIsActive.R1.R1B)
		assert active (StateIsActive.R2.R2B)
	} 
}