Created
September 20, 2016 21:32
-
-
Save kripken/78a28259363a49056583547647187ed6 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/check.py b/check.py | |
index b94819e..1698c5d 100755 | |
--- a/check.py | |
+++ b/check.py | |
@@ -371,6 +371,8 @@ if len(requested) == 0: | |
else: | |
spec_tests = requested[:] | |
+#spec_tests = [] | |
+ | |
for t in spec_tests: | |
if t.startswith('spec') and t.endswith('.wast'): | |
print '..', t | |
@@ -378,12 +380,8 @@ for t in spec_tests: | |
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 | |
+ # we must skip some tests | |
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 +417,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']: | |
+ 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 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment