updates to tests

diff --git a/tests/codebags/fun-with-codebags.fleet b/tests/codebags/fun-with-codebags.fleet
new file mode 100644 (file)
index 0000000..4f82259
--- /dev/null
+++ b/tests/codebags/fun-with-codebags.fleet
@@ -0,0 +1,14 @@
+#expect 3
+
+#ship debug  : Debug
+#ship memory : Memory
+
+memory.inCBD: literal {
+    memory.inCBD: literal {
+        memory.inCBD: literal {
+            debug.in:
+              literal 3;
+              deliver;
+          }; deliver;
+      }; deliver;
+  }; deliver;

diff --git a/tests/pump/token-on-last-iteration.fleet b/tests/pump/token-on-last-iteration.fleet
index 44adb8f..eada980 100644 (file)
--- a/tests/pump/token-on-last-iteration.fleet
+++ b/tests/pump/token-on-last-iteration.fleet
@@ -11,8 +11,8 @@ fifo.in:
 
 fifo.out:
   clog;
-  (9) take, sendto debug.in;
-  (3) notifyLast debug.in;
+  take, sendto debug.in, requeue 9 times;
+  notifyLast debug.in, requeue 3 times;
   unclog;
 
 debug.in:

diff --git a/tests/requeue/requeue-expire.fleet b/tests/requeue/requeue-expire.fleet
index 68474fe..89a9ff3 100644 (file)
--- a/tests/requeue/requeue-expire.fleet
+++ b/tests/requeue/requeue-expire.fleet
@@ -11,8 +11,8 @@ fifo.out: [*] take, sendto debug.in;
 
 debug.in: 
   clog;
-  (2) take;
-  (3) deliver;
+  take, requeue 2 times;
+  deliver, requeue 3 times;
   unclog;
 
 

diff --git a/tests/requeue/requeueing-literal.fleet b/tests/requeue/requeueing-literal.fleet
index f154cab..3e20147 100644 (file)
--- a/tests/requeue/requeueing-literal.fleet
+++ b/tests/requeue/requeueing-literal.fleet
@@ -17,10 +17,10 @@ debug.in:
 
 fifo.out:
   clog;
-  (3) literal 5;
-  (3) sendto debug.in;
-  (3) take;
-  (3) sendto debug.in;
+  literal 5,       requeue 3 times;
+  sendto debug.in, requeue 3 times;
+  take,            requeue 3 times;
+  sendto debug.in, requeue 3 times;
   unclog;
 
 

diff --git a/tests/requeue/test-kill-requeueing.fleet b/tests/requeue/test-kill-requeueing.fleet
new file mode 100644 (file)
index 0000000..7a745db
--- /dev/null
+++ b/tests/requeue/test-kill-requeueing.fleet
@@ -0,0 +1,42 @@
+#expect 7
+#expect 7
+#expect 7
+#expect 7
+#expect 8
+
+#ship debug        : Debug
+#ship memory       : Memory
+#ship fifo         : Fifo
+
+debug.in: [*] take, deliver, notify fifo.in;
+
+fifo.out:
+  notify fifo.in;
+  [4] take, sendto debug.in;
+  notify memory.inCBD;
+  [*] take, sendto debug.in;
+
+fifo.in:
+  clog;
+  take,        requeue forever;
+  literal 7,   requeue forever;
+  deliver,     requeue forever;
+  unclog;
+
+memory.inCBD:
+  wait;
+  literal {
+    fifo.in:
+      kill 3;
+      literal 8;
+      deliver;
+      notify memory.inCBD;
+        fifo.in: literal 8; [*] wait, deliver;
+    memory.inCBD:
+      wait;
+      literal {
+      }; deliver;
+  }; deliver;
+
+
+

diff --git a/tests/requeue/test-requeue.fleet b/tests/requeue/test-requeue.fleet
index 08964cb..ec0e15f 100644 (file)
--- a/tests/requeue/test-requeue.fleet
+++ b/tests/requeue/test-requeue.fleet
@@ -58,18 +58,18 @@ f.out: take, sendto alu.in1;
        take, sendto alu.in2;
 
 alu.in1:   clog;
-           (*) take, deliver;
-           (*) deliver;
-           (*) dismiss;
-           (4) deliver;
+           take, deliver, requeue forever;
+           deliver,       requeue forever;
+           discard,       requeue forever;
+           deliver,       requeue 4 times ;
            unclog;
 alu.in2:   take;
            [*] deliver;
 alu.inOp:  literal Alu2.inOp[ADD];
            [*] deliver;
 alu.out:   clog;
-           (40) take, sendto alu.in1;
-           (50) sendto debug.in;
+           take, sendto alu.in1, requeue 40 times;
+           sendto debug.in, requeue 50 times;
            unclog;
 debug.in:  [*] take, deliver;