SimpleEvent.sctunit 379 B

1234567891011121314151617
  1. testgroup SimpleEvent for statechart SimpleEvent {
  2. test simpleEventTest {
  3. enter
  4. assert active (SimpleEvent.main_region.A) "Expected A to be active"
  5. assert 5 == 5
  6. raise Event1
  7. cycle
  8. assert active (SimpleEvent.main_region.B) "Expected B to be active"
  9. cycle
  10. assert !active (SimpleEvent.main_region.B)
  11. }
  12. }