diff options
Diffstat (limited to 'mu.arc.t')
-rw-r--r-- | mu.arc.t | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/mu.arc.t b/mu.arc.t index 0438033a..e8257606 100644 --- a/mu.arc.t +++ b/mu.arc.t @@ -1665,10 +1665,8 @@ (f2 ((2 integer) <- copy (4 literal)) ((2 integer) <- copy (4 literal))))) -(let old-scheduling-interval scheduling-interval* - (= scheduling-interval* 1) - (after (run 'f1 'f2) - (= scheduling-interval* old-scheduling-interval))) +(= scheduling-interval* 1) +(run 'f1 'f2) (check-trace-contents "scheduler alternates between routines" '(("run" "f1 0") ("run" "f2 0") |