diff --git a/test/run-spec-test.py b/test/run-spec-test.py
index 6bc273f..45bb31b 100755
--- a/test/run-spec-test.py
+++ b/test/run-spec-test.py
@@ -431,7 +431,9 @@ if args.file:
     jsonFiles = args.file
 else:
     jsonFiles = (glob.glob(os.path.join(".", "core", "*.json")) +
-                 glob.glob(os.path.join(".", "proposals", "sign-extension-ops", "*.json")))
+                 glob.glob(os.path.join(".", "proposals", "sign-extension-ops", "*.json")) +
+                 glob.glob(os.path.join(".", "proposals", "nontrapping-float-to-int-conversions", "*.json"))
+                )
 
 jsonFiles = list(map(lambda x: os.path.relpath(x, scriptDir), jsonFiles))
 jsonFiles.sort()