From 5071d1dfba2f1effd3ef5e745a2ce16dcf9e4003 Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Mon, 28 May 2018 12:48:58 -0600 Subject: test.py: initial requirements for test translation script --- test.py | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100755 test.py 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 + -- cgit v1.2.3