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

testgroup ValuedEvents for statechart ValuedEvents {
	test valuedEventsTest {
		
		enter
		
		cycle
		assert active(ValuedEvents.main_region.A)
		assert active (ValuedEvents._region1.C)
		assert myVar == 42 
	}
}