DynamicChoice.sctunit 234 B

1234567891011
  1. package tests
  2. testclass DynamicChoice for statechart DynamicChoice{
  3. operation DynamicChoiceTest(){
  4. enter
  5. assert active(DynamicChoice.main_region.Start)
  6. cycle
  7. assert active(DynamicChoice.main_region.A)
  8. }
  9. }