From: adam Date: Sun, 25 Feb 2007 04:38:45 +0000 (+0100) Subject: fix choice/swap-test.fleet test to work with zero-storage boxes X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=12a48600090ecc1a9029ce743a53629d2b202a0d;p=fleet.git fix choice/swap-test.fleet test to work with zero-storage boxes --- diff --git a/tests/choice/swap-test.fleet b/tests/choice/swap-test.fleet index 8d61e5f..28c5d52 100644 --- a/tests/choice/swap-test.fleet +++ b/tests/choice/swap-test.fleet @@ -53,9 +53,9 @@ debug.in: [*] nop; (*) notify fifo.out; (*) notify choice.out1; - (*) take, deliver; (*) notify choice.out2; (*) take, deliver; + (*) take, deliver; kill*; choice.in1: take; [*] deliver;