Guard.sctunit 459 B

1234567891011121314151617181920212223242526
  1. testgroup Guard for statechart Guard {
  2. test guardTest {
  3. enter
  4. assert active (Guard.main_region.A)
  5. raise Event1
  6. cycle
  7. assert active (Guard.main_region.A)
  8. raise Event2
  9. cycle
  10. assert active (Guard.main_region.B)
  11. raise Return
  12. cycle
  13. assert active (Guard.main_region.A)
  14. raise Event1
  15. cycle
  16. assert active (Guard.main_region.B)
  17. raise Return
  18. cycle
  19. assert active (Guard.main_region.A)
  20. }
  21. }