summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcheck.py16
m---------test/spec0
2 files changed, 8 insertions, 8 deletions
diff --git a/check.py b/check.py
index b94819ea5..0989cc9d4 100755
--- a/check.py
+++ b/check.py
@@ -376,14 +376,14 @@ for t in spec_tests:
print '..', t
wast = os.path.join('test', t)
+ # skip checks for some tests
+ if os.path.basename(wast) in ['linking.wast', 'nop.wast', 'stack.wast', 'typecheck.wast']: # FIXME
+ continue
+
def run_spec_test(wast):
cmd = [os.path.join('bin', 'wasm-shell'), wast]
# we must skip the stack machine portions of spec tests or apply other extra args
extra = {
- 'call.wast': ['--skip=207'],
- 'call_indirect.wast': ['--skip=302'],
- 'nop.wast': ['--skip=3'],
- 'stack.wast': ['--skip=0'],
}
cmd = cmd + (extra.get(os.path.basename(wast)) or [])
return run_command(cmd, stderr=subprocess.PIPE)
@@ -419,12 +419,12 @@ for t in spec_tests:
check_expected(actual, expected)
+ # skip binary checks for tests that reuse previous modules by name, as that's a wast-only feature
+ if os.path.basename(wast) in ['exports.wast']: # FIXME
+ continue
+
# we must ignore some binary format splits
splits_to_skip = {
- 'call.wast': [1],
- 'call_indirect.wast': [1],
- 'nop.wast': [0],
- 'stack.wast': [0],
}
# check binary format. here we can verify execution of the final result, no need for an output verification
diff --git a/test/spec b/test/spec
-Subproject 377264edb37749a5c15f35c589bea62df560637
+Subproject 237f9ee630e951149e73d32633aa78616559519