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

package tests
testclass TimedTransitions for statechart TimedTransitions{
		
	operation Timer01(){
		enter 
		assert active (TimedTransitions.main_region.Start)
		
		wait 2030ms
		cycle
		
		assert active (TimedTransitions.main_region.End)				
	}		
	
}