move fifo and lut3 tests into ship files

[fleet.git] / ships / Fifo.ship

diff --git a/ships/Fifo.ship b/ships/Fifo.ship
index fde05a3..bffd2ba 100644 (file)
--- a/ships/Fifo.ship
+++ b/ships/Fifo.ship
@@ -45,5 +45,24 @@ module fifo (clk,
 
 endmodule
 
+== Test =================================================================
+// expected output
+#expect 9
+
+// ships required in order to run this code
+#ship debug        : Debug
+#ship fifo         : Fifo
+
+debug.in:   [*] take, deliver;
+9:            sendto fifo.in;
+fifo.in:
+  take;
+  [100] deliver;
+fifo.out:
+  (99) take, sendto fifo.in;
+  (1)  take, sendto debug.in;
+
+
+
 == Contributors =========================================================
 Adam Megacz <megacz@cs.berkeley.edu>