fix choice/swap-test.fleet test to work with zero-storage boxes
authoradam <adam@megacz.com>
Sun, 25 Feb 2007 04:38:45 +0000 (05:38 +0100)
committeradam <adam@megacz.com>
Sun, 25 Feb 2007 04:38:45 +0000 (05:38 +0100)
tests/choice/swap-test.fleet

index 8d61e5f..28c5d52 100644 (file)
@@ -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;