LocalReactions.sctunit 208 B

123456789101112
  1. package tests
  2. testclass LocalReactions for statechart LocalReactions{
  3. operation LocalReactionsTest(){
  4. enter
  5. assert active(LocalReactions.main_region.A)
  6. cycle
  7. assert x == 1
  8. }
  9. }