Piezo, PIFO tree: new .data and .expect files (#1788)

* Actually put new files in * Usage directions in comments
calyxir · Nov 24, 2023 · 2d6c8fc · 2d6c8fc
1 parent 9f457bb
commit 2d6c8fc
Show file tree

Hide file tree

Showing 4 changed files with 98 additions and 85 deletions.
diff --git a/calyx-py/calyx/pifotree_oracle.py b/calyx-py/calyx/pifotree_oracle.py
@@ -1,3 +1,10 @@
+# Usage:
+# To make a .data file:
+# python calyx-py/calyx/queue_data_gen.py --piezo > calyx-py/test/correctness/sdn.data
+# To then make a .expect file:
+# cat calyx-py/test/correctness/sdn.data |
+# python calyx-py/calyx/pifotree_oracle.py > calyx-py/test/correctness/sdn.expect
+
 import calyx.queues as queues
 from calyx import queue_util
 
@@ -21,4 +28,3 @@
 
     ans = queues.operate_queue(commands, values, pifo)
     queue_util.dump_json(commands, values, ans)
-
diff --git a/calyx-py/calyx/queue_data_gen.py b/calyx-py/calyx/queue_data_gen.py
@@ -1,3 +1,10 @@
+# Usage:
+# To make a .data file:
+# python calyx-py/calyx/queue_data_gen.py --piezo > calyx-py/test/correctness/sdn.data
+# To then make a .expect file:
+# cat calyx-py/test/correctness/sdn.data |
+# python calyx-py/calyx/pifotree_oracle.py > calyx-py/test/correctness/sdn.expect
+
 import random
 import json
 import sys

diff --git a/calyx-py/test/correctness/sdn.data b/calyx-py/test/correctness/sdn.data
@@ -1,105 +1,105 @@
 {
   "commands": {
     "data": [
-      2,
       2,
       0,
       2,
       0,
+      2,
+      2,
+      2,
+      2,
       0,
       0,
+      2,
       0,
       2,
       2,
-      0,
+      2,
       2,
       0,
       0,
+      2,
       0,
+      2,
+      2,
+      2,
       0,
       2,
       2,
+      2,
+      2,
       0,
       2,
       0,
+      2,
       0,
       0,
       2,
+      2,
       0,
+      2,
       0,
       0,
+      2,
       0,
       0,
+      2,
+      2,
       0,
+      2,
       0,
       0,
       2,
+      0,
       2,
       0,
       0,
       0,
       0,
-      2,
-      2,
       0,
       2,
-      2,
-      0,
       0,
-      2,
       0,
       2,
       2,
       0,
       2,
       0,
-      2,
-      2,
-      2,
-      2,
-      2,
       0,
       2,
-      2,
       0,
       0,
-      2,
       0,
       2,
-      2,
       0,
       2,
       2,
       2,
-      0,
+      2,
       2,
       0,
       0,
       0,
       0,
       0,
       2,
-      2,
-      2,
+      0,
       2,
       2,
       0,
       2,
       2,
       0,
+      0,
       2,
       0,
       0,
       2,
-      2,
       0,
       2,
-      2,
       0,
       2,
-      2,
-      2,
-      0,
       0
     ],
     "format": {
@@ -110,6 +110,7 @@
   },
   "values": {
     "data": [
+      40,
       320,
       76,
       369,
@@ -208,8 +209,7 @@
       174,
       332,
       91,
-      297,
-      5
+      297
     ],
     "format": {
       "is_signed": false,