summaryrefslogtreecommitdiff
path: root/check.py
diff options
context:
space:
mode:
Diffstat (limited to 'check.py')
-rwxr-xr-xcheck.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/check.py b/check.py
index fa9a060f8..499a201ce 100755
--- a/check.py
+++ b/check.py
@@ -159,8 +159,8 @@ def run_wasm_reduce_tests():
for t in shared.get_tests(shared.get_test_dir('reduce'), ['.wast']):
print('..', os.path.basename(t))
# convert to wasm
- support.run_command(shared.WASM_AS + [t, '-o', 'a.wasm'])
- support.run_command(shared.WASM_REDUCE + ['a.wasm', '--command=%s b.wasm --fuzz-exec --detect-features ' % shared.WASM_OPT[0], '-t', 'b.wasm', '-w', 'c.wasm', '--timeout=4'])
+ support.run_command(shared.WASM_AS + [t, '-o', 'a.wasm', '-all'])
+ support.run_command(shared.WASM_REDUCE + ['a.wasm', '--command=%s b.wasm --fuzz-exec -all ' % shared.WASM_OPT[0], '-t', 'b.wasm', '-w', 'c.wasm', '--timeout=4'])
expected = t + '.txt'
support.run_command(shared.WASM_DIS + ['c.wasm', '-o', 'a.wat'])
with open('a.wat') as seen: