summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2016-01-12 12:01:16 -0800
committerAlon Zakai <alonzakai@gmail.com>2016-01-12 12:01:16 -0800
commit783eea2fff10a315b728c952ef78293c7957390a (patch)
treec284f63a5213e35922e557c494426573638c67e9
parent860d56e5c724d32ce8cc890ff97a02dbdf379259 (diff)
downloadbinaryen-783eea2fff10a315b728c952ef78293c7957390a.tar.gz
binaryen-783eea2fff10a315b728c952ef78293c7957390a.tar.bz2
binaryen-783eea2fff10a315b728c952ef78293c7957390a.zip
avoid unit.wast in wasm-as, as it uses f32.demote/f64 which is not in the binary format currently
-rwxr-xr-xcheck.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/check.py b/check.py
index 1395a306c..f9f8ecba8 100755
--- a/check.py
+++ b/check.py
@@ -281,7 +281,7 @@ if torture:
print '\n[ checking wasm-as testcases... ]\n'
for wast in tests:
- if wast.endswith('.wast'):
+ if wast.endswith('.wast') and not wast in ['unit.wast']: # blacklist some known failures
cmd = [os.path.join('bin', 'wasm-as'), os.path.join('test', wast), '-o', 'a.wasm']
print cmd
if os.path.exists('a.wasm'): os.unlink('a.wasm')