convert string to int

2024-09-01 08:49:13 -04:00
parent a9573551a7
commit 27d5ad1714
1 changed files with 1 additions and 1 deletions
--- a/tools/regression-tests/run_tests.py
+++ b/tools/regression-tests/run_tests.py
@ -949,7 +949,7 @@ if __name__ == "__main__":
    analyze = args.analyze
    quick = args.quick
    quick_branch = args.quick_branch
-    quick_max = args.quick_max
+    quick_max = int(args.quick_max)
    skip_numerical_check = args.skip_numerical_check
    resume = args.resume
    progress_file = args.progress_file