diff options
Diffstat (limited to 'check.py')
| -rwxr-xr-x | check.py | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -27,7 +27,8 @@ from scripts.test.shared import ( binary_format_check, delete_from_orbit, fail, fail_with_error, fail_if_not_identical, fail_if_not_contained, has_vanilla_emcc, has_vanilla_llvm, minify_check, options, tests, requested, warnings, - has_shell_timeout, fail_if_not_identical_to_file, with_pass_debug + has_shell_timeout, fail_if_not_identical_to_file, with_pass_debug, + validate_binary ) # For shared.num_failures. Cannot import directly because modifications made in @@ -189,6 +190,8 @@ def run_wasm_dis_tests(): with_pass_debug(check) + validate_binary(t) + def run_crash_tests(): print "\n[ checking we don't crash on tricky inputs... ]\n" @@ -380,7 +383,7 @@ def run_spec_tests(): o.write(module + '\n' + '\n'.join(asserts)) run_spec_test('split.wast') # before binary stuff - just check it's still ok split out run_opt_test('split.wast') # also that our optimizer doesn't break on it - result_wast = binary_format_check('split.wast', verify_final_result=False) + result_wast = binary_format_check('split.wast', verify_final_result=False, original_wast=wast) # add the asserts, and verify that the test still passes open(result_wast, 'a').write('\n' + '\n'.join(asserts)) actual += run_spec_test(result_wast) |