1234567891011121314151617181920212223242526 |
- testgroup Guard for statechart Guard {
- test guardTest {
- enter
- assert active (Guard.main_region.A)
- raise Event1
- cycle
-
- assert active (Guard.main_region.A)
- raise Event2
- cycle
-
- assert active (Guard.main_region.B)
- raise Return
- cycle
-
- assert active (Guard.main_region.A)
- raise Event1
- cycle
-
- assert active (Guard.main_region.B)
- raise Return
- cycle
-
- assert active (Guard.main_region.A)
- }
- }
|