From 12a48600090ecc1a9029ce743a53629d2b202a0d Mon Sep 17 00:00:00 2001 From: adam Date: Sun, 25 Feb 2007 05:38:45 +0100 Subject: [PATCH] fix choice/swap-test.fleet test to work with zero-storage boxes --- tests/choice/swap-test.fleet | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 1.7.10.4