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

testcase for SimpleEvent {
	test simpleEventTest {
		assert active (SimpleEvent.main_region.A)
		raise Event1
		cycle
		assert active (SimpleEvent.main_region.B)
	}
}