summaryrefslogtreecommitdiff
path: root/check.py
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2015-11-22 14:57:50 -0800
committerAlon Zakai <alonzakai@gmail.com>2015-11-22 14:57:50 -0800
commit295c4718d924f5d31e1bd25fe63add1833cc9c98 (patch)
tree41ed31017e65436e918c1ce363197e962242b766 /check.py
parent0313ab7a9816481bbdcbdb902710f1e3fbd2ca9e (diff)
downloadbinaryen-295c4718d924f5d31e1bd25fe63add1833cc9c98.tar.gz
binaryen-295c4718d924f5d31e1bd25fe63add1833cc9c98.tar.bz2
binaryen-295c4718d924f5d31e1bd25fe63add1833cc9c98.zip
remove imports before calling spec interpreter
Diffstat (limited to 'check.py')
-rwxr-xr-xcheck.py4
1 files changed, 3 insertions, 1 deletions
diff --git a/check.py b/check.py
index 88ade596d..b3978f739 100755
--- a/check.py
+++ b/check.py
@@ -53,7 +53,9 @@ for asm in tests:
# verify in wasm
if interpreter:
- proc = subprocess.Popen([interpreter, os.path.join('test', wasm)], stderr=subprocess.PIPE)
+ # remove imports, spec interpreter doesn't know what to do with them
+ subprocess.check_call([os.path.join('bin', 'binaryen-shell'), '-remove-imports', '-print-after', os.path.join('test', wasm)], stdout=open('temp.wast', 'w'))
+ proc = subprocess.Popen([interpreter, 'temp.wast'], stderr=subprocess.PIPE)
out, err = proc.communicate()
if proc.returncode != 0:
try: # to parse the error