summaryrefslogtreecommitdiff
path: root/check.py
diff options
context:
space:
mode:
Diffstat (limited to 'check.py')
-rwxr-xr-xcheck.py17
1 files changed, 11 insertions, 6 deletions
diff --git a/check.py b/check.py
index 377d41918..f4d6bed7e 100755
--- a/check.py
+++ b/check.py
@@ -153,8 +153,10 @@ def run_wasm_opt_tests():
shared.fail_if_not_identical_to_file(actual, f)
- shared.binary_format_check(t, wasm_as_args=['-g']) # test with debuginfo
- shared.binary_format_check(t, wasm_as_args=[], binary_suffix='.fromBinary.noDebugInfo') # test without debuginfo
+ # FIXME Remove this condition after nullref is implemented in V8
+ if 'reference-types.wast' not in t:
+ shared.binary_format_check(t, wasm_as_args=['-g']) # test with debuginfo
+ shared.binary_format_check(t, wasm_as_args=[], binary_suffix='.fromBinary.noDebugInfo') # test without debuginfo
shared.minify_check(t)
@@ -271,9 +273,9 @@ def run_wasm_reduce_tests():
before = os.stat('a.wasm').st_size
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'])
after = os.stat('c.wasm').st_size
- # 0.65 is a custom threshold to check if we have shrunk the output
- # sufficiently
- assert after < 0.7 * before, [before, after]
+ # This number is a custom threshold to check if we have shrunk the
+ # output sufficiently
+ assert after < 0.75 * before, [before, after]
def run_spec_tests():
@@ -323,7 +325,10 @@ def run_spec_tests():
# some wast files cannot be split:
# * comments.wast: contains characters that are not valid utf-8,
# so our string splitting code fails there
- if os.path.basename(wast) not in ['comments.wast']:
+
+ # FIXME Remove reference type tests from this list after nullref is
+ # implemented in V8
+ if os.path.basename(wast) not in ['comments.wast', 'ref_null.wast', 'ref_is_null.wast', 'ref_func.wast', 'old_select.wast']:
split_num = 0
actual = ''
for module, asserts in support.split_wast(wast):