diff options
author | Alon Zakai <alonzakai@gmail.com> | 2015-11-22 14:57:50 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2015-11-22 14:57:50 -0800 |
commit | 295c4718d924f5d31e1bd25fe63add1833cc9c98 (patch) | |
tree | 41ed31017e65436e918c1ce363197e962242b766 /check.py | |
parent | 0313ab7a9816481bbdcbdb902710f1e3fbd2ca9e (diff) | |
download | binaryen-295c4718d924f5d31e1bd25fe63add1833cc9c98.tar.gz binaryen-295c4718d924f5d31e1bd25fe63add1833cc9c98.tar.bz2 binaryen-295c4718d924f5d31e1bd25fe63add1833cc9c98.zip |
remove imports before calling spec interpreter
Diffstat (limited to 'check.py')
-rwxr-xr-x | check.py | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |