Disable nontrapping-float-to-int-conversions temporarily
@@ -430,10 +430,9 @@ def runInvoke(test):
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", "nontrapping-float-to-int-conversions", "*.json"))
- )
+ jsonFiles = glob.glob(os.path.join(".", "core", "*.json"))
+ jsonFiles += glob.glob(os.path.join(".", "proposals", "sign-extension-ops", "*.json"))
+ #jsonFiles += 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()
