| 1234567891011121314151617 |
- testclass BooleanExpressions for statechart BooleanExpressions {
- @Test
- operation booleanExpressions(){
- enter
- assert active (BooleanExpressions.main_region.StateA)
- assert myBool1 == true
- assert myBool2 == false
- raise e1
- proceed 1 cycle
- assert active (BooleanExpressions.main_region.StateB)
- assert and == false
- assert or == true
- assert not == false
- assert equal == false
- assert notequal == true
- }
- }
|
