Enable tests: nontrapping-float-to-int-conversions
@@ -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()
