TimedTransitions.sctunit 231 B

12345678910111213
  1. testgroup TimedTransitions for statechart TimedTransitions{
  2. test Timer01{
  3. enter
  4. assert active (TimedTransitions.main_region.Start)
  5. wait 2030ms
  6. cycle
  7. assert active (TimedTransitions.main_region.End)
  8. }
  9. }