1 files changed, 7 insertions, 1 deletions
diff --git a/check.py b/check.py
index ba2400978..7ed6afa63 100755
--- a/check.py
+++ b/check.py
@@ -285,11 +285,17 @@ print '\n[ checking binary format testcases... ]\n'
 for wast in tests:
   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
+    print ' '.join(cmd)
     if os.path.exists('a.wasm'): os.unlink('a.wasm')
     subprocess.check_call(cmd, stdout=subprocess.PIPE, stderr=subprocess.PIPE)
     assert os.path.exists('a.wasm')
 
+    #cmd = [os.path.join('bin', 'wasm-dis'), 'a.wasm', '-o', 'a.wast']
+    #print ' '.join(cmd)
+    #if os.path.exists('a.wast'): os.unlink('a.wast')
+    #subprocess.check_call(cmd, stdout=subprocess.PIPE, stderr=subprocess.PIPE)
+    #assert os.path.exists('a.wast')
+
 print '\n[ checking example testcases... ]\n'
 
 cmd = [os.environ.get('CXX') or 'g++', '-std=c++11', os.path.join('test', 'example', 'find_div0s.cpp'), '-Isrc', '-g', '-lsupport', '-Llib/.']