diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2014-11-06 15:24:16 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2014-11-06 15:24:16 -0800 |
commit | f462b986b1b2d2dae4f8b6a7416fb1b995a00d85 (patch) | |
tree | 9776c0ec3086a047e14c3cd987abfb03a13ad2f2 /mu.arc.t | |
parent | 6f8b711881db8f4a1f30817ce0ce750b903a47a1 (diff) | |
download | mu-f462b986b1b2d2dae4f8b6a7416fb1b995a00d85.tar.gz |
235
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") |