From 295c4718d924f5d31e1bd25fe63add1833cc9c98 Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Sun, 22 Nov 2015 14:57:50 -0800
Subject: remove imports before calling spec interpreter

---
 check.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'check.py')

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
-- 
cgit v1.2.3