1 files changed, 2 insertions, 1 deletions
diff --git a/check.py b/check.py
index 696a15615..07fcdd2c6 100755
--- a/check.py
+++ b/check.py
@@ -80,7 +80,8 @@ for t in tests:
 print '\n[ checking wasm-shell spec testcases... ]\n'
 
 if len(requested) == 0:
-  spec_tests = [os.path.join('spec', t) for t in sorted(os.listdir(os.path.join('test', 'spec')))]
+  BLACKLIST = ['float_literals.wast', 'float_memory.wast', 'float_misc.wast']
+  spec_tests = [os.path.join('spec', t) for t in sorted(os.listdir(os.path.join('test', 'spec'))) if t not in BLACKLIST]
 else:
   spec_tests = requested[:]