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

testcase for TimeTrigger {
	test timeTriggerTest {
		assert active ( TimeTrigger.mainRegion.StateA )
		wait 110
		assert active (TimeTrigger.mainRegion.StateB)
		wait 220
		assert active (TimeTrigger.mainRegion.StateA)		
	}
}