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

testclass PriorityValues for statechart PriorityValues {
	@Test
	operation transitionPriority(){
		
		enter
		
		assert active (PriorityValues.main_region.A)
		raise event1
		proceed 1 cycle
		assert active(PriorityValues.main_region.C)
	}
	@Test
	operation regionPriority(){
		
		enter
		
		assert active (PriorityValues.someRegion.A)
		raise event2
		proceed 1 cycle
		assert active(PriorityValues.someRegion.B)
		assert !active(PriorityValues.main_region.E)
		
	}
	
}