aboutsummaryrefslogtreecommitdiffstats
path: root/test.py
diff options
context:
space:
mode:
authorEverett Hildenbrandt <hildenb2@illinois.edu>2018-05-29 02:48:58 +0800
committerEverett Hildenbrandt <hildenb2@illinois.edu>2018-05-31 22:37:30 +0800
commit5071d1dfba2f1effd3ef5e745a2ce16dcf9e4003 (patch)
tree41e8f3229fec94f2df91f47da8799eaaa6ab1180 /test.py
parentf5b79e2c5346024e4cdff70dd95b2bef163c3c74 (diff)
downloaddexon-tests-5071d1dfba2f1effd3ef5e745a2ce16dcf9e4003.tar.gz
dexon-tests-5071d1dfba2f1effd3ef5e745a2ce16dcf9e4003.tar.zst
dexon-tests-5071d1dfba2f1effd3ef5e745a2ce16dcf9e4003.zip
test.py: initial requirements for test translation script
Diffstat (limited to 'test.py')
-rwxr-xr-xtest.py27
1 files changed, 27 insertions, 0 deletions
diff --git a/test.py b/test.py
new file mode 100755
index 000000000..703dcf327
--- /dev/null
+++ b/test.py
@@ -0,0 +1,27 @@
+#!/usr/bin/env python3
+
+# Eventual goals:
+#
+# - Check validity of tests fillers.
+# - Filter test fillers based on properties.
+# - Convert between various test filler formats.
+
+# Non-goals:
+#
+# - Test filling.
+# - Test post-state checking.
+
+# Current goals:
+#
+# - Generate GeneralStateTests from VMTests.
+
+# Input:
+#
+# - VMTest filler directory/name, without suffix Filler.json
+# eg. vmArithmeticTest/add0
+
+# Output:
+#
+# - GeneralStateTest filler
+# eg. stVMTests/vmArithmeticTest/add0Filler.json
+