|
@@ -3,20 +3,20 @@ testgroup StatechartActive for statechart StatechartActive {
|
|
|
|
|
|
/** A state machine must be inactive before it has been entered. */
|
|
|
test inactiveBeforeEnter {
|
|
|
- assert false /* ! is_active */
|
|
|
+ assert !is_active
|
|
|
}
|
|
|
|
|
|
/** A state machine must be active after it has been entered. */
|
|
|
test activeAfterEnter {
|
|
|
enter
|
|
|
- assert false /*is_active */
|
|
|
+ assert is_active
|
|
|
}
|
|
|
|
|
|
/** A state machine must be inactive after it has been exited. */
|
|
|
test inactiveAfterExit {
|
|
|
enter
|
|
|
exit
|
|
|
- assert false /* ! is_active */
|
|
|
+ assert !is_active
|
|
|
}
|
|
|
|
|
|
/** A state machine must be active after it has been exited and reentered. */
|
|
@@ -24,7 +24,7 @@ testgroup StatechartActive for statechart StatechartActive {
|
|
|
enter
|
|
|
exit
|
|
|
enter
|
|
|
- assert false /* is_active */
|
|
|
+ assert is_active //false /* is_active */
|
|
|
}
|
|
|
|
|
|
}
|