1 files changed, 2 insertions, 0 deletions
diff --git a/check.py b/check.py
index 07d68f8dd..d78ed022f 100755
--- a/check.py
+++ b/check.py
@@ -468,6 +468,8 @@ def run_validator_tests():
   run_command(cmd, expected_status=1)
   cmd = WASM_AS + ['--validate=none', os.path.join(options.binaryen_test, 'validator', 'invalid_return.wast')]
   run_command(cmd)
+  cmd = WASM_AS + [os.path.join(options.binaryen_test, 'validator', 'invalid_number.wast')]
+  run_command(cmd, expected_status=1)
 
 
 def run_vanilla_tests():