yakindu/test-plugins/org.yakindu.sct.test.models/tests/eventdriven/LocalEvents.sctunit

testclass LocalEvents for statechart eventdriven.localEvents {
	
	@Test
	operation test() {
		enter
		
		assert active(eventdriven.localEvents.r1.Comp1.r.A1)
		assert active(eventdriven.localEvents.r2.Comp2.r.A2)
		
		raise e
		
		assert active(eventdriven.localEvents.r1.Comp1.r.D1)
		assert active(eventdriven.localEvents.r2.Comp2.r.D2)

		assert cycleCountSm == 5
		assert cycleCount1 == 5
		assert cycleCount2 == 5
		assert checksum == 3

		exit
	}
}