summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHeejin Ahn <aheejin@gmail.com>2020-05-31 19:54:30 -0700
committerGitHub <noreply@github.com>2020-05-31 19:54:30 -0700
commitbeafd4721df6233556dfa330342ad10de7c0b9f5 (patch)
treedf46cc95ff635a815d5bf8ddeb6f4f7fc5ae5c0f
parentd0e1b15337e04eb16b356e3149dba1763da02b29 (diff)
downloadbinaryen-beafd4721df6233556dfa330342ad10de7c0b9f5.tar.gz
binaryen-beafd4721df6233556dfa330342ad10de7c0b9f5.tar.bz2
binaryen-beafd4721df6233556dfa330342ad10de7c0b9f5.zip
Put validator test outputs in out/test (#2882)
We now put outputs of all other tests in out/test in order not to pollute the test directory, but validator tests didn't have a output file specified so their output files were written in test/validator. This adds `-o a.wasm` to validator tests command lines, in the same way as other tests, to make them go into out/test directory.
-rwxr-xr-xcheck.py12
1 files changed, 6 insertions, 6 deletions
diff --git a/check.py b/check.py
index f7f85ea77..4cef96b08 100755
--- a/check.py
+++ b/check.py
@@ -265,17 +265,17 @@ def run_spec_tests():
def run_validator_tests():
print('\n[ running validation tests... ]\n')
# Ensure the tests validate by default
- cmd = shared.WASM_AS + [os.path.join(shared.get_test_dir('validator'), 'invalid_export.wast')]
+ cmd = shared.WASM_AS + [os.path.join(shared.get_test_dir('validator'), 'invalid_export.wast'), '-o', 'a.wasm']
support.run_command(cmd)
- cmd = shared.WASM_AS + [os.path.join(shared.get_test_dir('validator'), 'invalid_import.wast')]
+ cmd = shared.WASM_AS + [os.path.join(shared.get_test_dir('validator'), 'invalid_import.wast'), '-o', 'a.wasm']
support.run_command(cmd)
- cmd = shared.WASM_AS + ['--validate=web', os.path.join(shared.get_test_dir('validator'), 'invalid_export.wast')]
+ cmd = shared.WASM_AS + ['--validate=web', os.path.join(shared.get_test_dir('validator'), 'invalid_export.wast'), '-o', 'a.wasm']
support.run_command(cmd, expected_status=1)
- cmd = shared.WASM_AS + ['--validate=web', os.path.join(shared.get_test_dir('validator'), 'invalid_import.wast')]
+ cmd = shared.WASM_AS + ['--validate=web', os.path.join(shared.get_test_dir('validator'), 'invalid_import.wast'), '-o', 'a.wasm']
support.run_command(cmd, expected_status=1)
- cmd = shared.WASM_AS + ['--validate=none', os.path.join(shared.get_test_dir('validator'), 'invalid_return.wast')]
+ cmd = shared.WASM_AS + ['--validate=none', os.path.join(shared.get_test_dir('validator'), 'invalid_return.wast'), '-o', 'a.wasm']
support.run_command(cmd)
- cmd = shared.WASM_AS + [os.path.join(shared.get_test_dir('validator'), 'invalid_number.wast')]
+ cmd = shared.WASM_AS + [os.path.join(shared.get_test_dir('validator'), 'invalid_number.wast'), '-o', 'a.wasm']
support.run_command(cmd, expected_status=1)