diff options
| -rwxr-xr-x | check.py | 2 | ||||
| -rw-r--r-- | scripts/test/shared.py | 17 |
2 files changed, 0 insertions, 19 deletions
@@ -102,8 +102,6 @@ def run_wasm_dis_tests(): shared.with_pass_debug(check) - shared.validate_binary(t) - def run_crash_tests(): print("\n[ checking we don't crash on tricky inputs... ]\n") diff --git a/scripts/test/shared.py b/scripts/test/shared.py index fe37d9105..d677c33a6 100644 --- a/scripts/test/shared.py +++ b/scripts/test/shared.py @@ -442,16 +442,6 @@ options.spec_tests = [t for t in options.spec_tests if os.path.basename(t) not # check utilities - -def validate_binary(wasm): - if V8: - cmd = [V8] + V8_OPTS + [in_binaryen('scripts', 'validation_shell.js'), '--', wasm] - print(' ', ' '.join(cmd)) - subprocess.check_call(cmd, stdout=subprocess.PIPE) - else: - print('(skipping v8 binary validation)') - - def binary_format_check(wast, verify_final_result=True, wasm_as_args=['-g'], binary_suffix='.fromBinary', original_wast=None): # checks we can convert the wast to binary and back @@ -464,13 +454,6 @@ def binary_format_check(wast, verify_final_result=True, wasm_as_args=['-g'], subprocess.check_call(cmd, stdout=subprocess.PIPE) assert os.path.exists('a.wasm') - # make sure it is a valid wasm, using a real wasm VM - if os.path.basename(original_wast or wast) not in [ - 'atomics.wast', # https://bugs.chromium.org/p/v8/issues/detail?id=9425 - 'simd.wast', # https://bugs.chromium.org/p/v8/issues/detail?id=8460 - ]: - validate_binary('a.wasm') - cmd = WASM_DIS + ['a.wasm', '-o', 'ab.wast'] print(' ', ' '.join(cmd)) if os.path.exists('ab.wast'): |