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

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