diff options
author | Everett Hildenbrandt <hildenb2@illinois.edu> | 2018-05-29 02:48:58 +0800 |
---|---|---|
committer | Everett Hildenbrandt <hildenb2@illinois.edu> | 2018-05-31 22:37:30 +0800 |
commit | 5071d1dfba2f1effd3ef5e745a2ce16dcf9e4003 (patch) | |
tree | 41e8f3229fec94f2df91f47da8799eaaa6ab1180 | |
parent | f5b79e2c5346024e4cdff70dd95b2bef163c3c74 (diff) | |
download | tangerine-tests-5071d1dfba2f1effd3ef5e745a2ce16dcf9e4003.tar tangerine-tests-5071d1dfba2f1effd3ef5e745a2ce16dcf9e4003.tar.gz tangerine-tests-5071d1dfba2f1effd3ef5e745a2ce16dcf9e4003.tar.bz2 tangerine-tests-5071d1dfba2f1effd3ef5e745a2ce16dcf9e4003.tar.lz tangerine-tests-5071d1dfba2f1effd3ef5e745a2ce16dcf9e4003.tar.xz tangerine-tests-5071d1dfba2f1effd3ef5e745a2ce16dcf9e4003.tar.zst tangerine-tests-5071d1dfba2f1effd3ef5e745a2ce16dcf9e4003.zip |
test.py: initial requirements for test translation script
-rwxr-xr-x | test.py | 27 |
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 + |