move Stack test into Stack.ship
authoradam <adam@megacz.com>
Tue, 7 Aug 2007 14:32:43 +0000 (15:32 +0100)
committeradam <adam@megacz.com>
Tue, 7 Aug 2007 14:32:43 +0000 (15:32 +0100)
ships/Stack.ship
tests/stack/stack-test.fleet [deleted file]

index 34f2005..851607c 100644 (file)
@@ -61,5 +61,29 @@ process any new {\tt pop} operations.
   end
 
 
+== Test ====================================================
+#ship stack : Stack
+#ship debug : Debug
+
+#expect 4
+#expect 3
+#expect 2
+#expect 1
+#expect 0
+
+debug.in:  [*] take, deliver;
+stack.push: [5] take, deliver; notify stack.pop;
+
+stack.pop: wait; [*] take, sendto debug.in;
+
+0: sendto stack.push;
+1: sendto stack.push;
+2: sendto stack.push;
+3: sendto stack.push;
+4: sendto stack.push;
+
+
+
+
 == Contributors =========================================================
 Adam Megacz <megacz@cs.berkeley.edu>
diff --git a/tests/stack/stack-test.fleet b/tests/stack/stack-test.fleet
deleted file mode 100644 (file)
index 8cd24b1..0000000
+++ /dev/null
@@ -1,24 +0,0 @@
-#ship stack : Stack
-#ship debug : Debug
-
-#expect 4
-#expect 3
-#expect 2
-#expect 1
-#expect 0
-
-debug.in:  [*] take, deliver;
-stack.push: [5] take, deliver; notify stack.pop;
-
-stack.pop: wait; [*] take, sendto debug.in;
-
-0: sendto stack.push;
-1: sendto stack.push;
-2: sendto stack.push;
-3: sendto stack.push;
-4: sendto stack.push;
-
-
-
-
-