|
|
@@ -3,37 +3,18 @@ testgroup TimeTrigger for statechart TimeTrigger{
|
|
|
|
|
|
test TestName{
|
|
|
enter
|
|
|
-
|
|
|
-// raise x3
|
|
|
-// //raise x4
|
|
|
-//
|
|
|
-// raise b.x5
|
|
|
-// //raise b.x6
|
|
|
-//
|
|
|
-// //raise x7
|
|
|
-//
|
|
|
-// raise b.x5
|
|
|
-//
|
|
|
-// raise b.x5
|
|
|
-//
|
|
|
-// raise x3
|
|
|
-//
|
|
|
-//
|
|
|
-//
|
|
|
|
|
|
- //raise x3
|
|
|
-
|
|
|
-
|
|
|
- //cycle
|
|
|
- assert active(TimeTrigger.main_region.A)
|
|
|
+ // Doesn't work so far... different behavior in java and Interpreter, no impl in C
|
|
|
|
|
|
- cycle
|
|
|
- wait 1030ms
|
|
|
- cycle
|
|
|
- assert active(TimeTrigger.main_region.B)
|
|
|
- wait 1030ms
|
|
|
- cycle
|
|
|
- assert active(TimeTrigger.main_region.A)
|
|
|
+// assert active(TimeTrigger.main_region.A)
|
|
|
+//
|
|
|
+// cycle
|
|
|
+// wait 1030ms
|
|
|
+// cycle
|
|
|
+// assert active(TimeTrigger.main_region.B)
|
|
|
+// wait 1030ms
|
|
|
+// cycle
|
|
|
+// assert active(TimeTrigger.main_region.A)
|
|
|
|
|
|
|
|
|
}
|