From 4b633bdbf7f8ce8b38f55e3612bd2cec85628959 Mon Sep 17 00:00:00 2001 From: Saurabh Misra Date: Thu, 26 Jun 2025 15:15:56 -0700 Subject: [PATCH] time lesser from 64 to 20s per condition --- codeflash/verification/concolic_testing.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/codeflash/verification/concolic_testing.py b/codeflash/verification/concolic_testing.py index 014620f28..7da44bdf3 100644 --- a/codeflash/verification/concolic_testing.py +++ b/codeflash/verification/concolic_testing.py @@ -43,7 +43,7 @@ def generate_concolic_tests( "crosshair", "cover", "--example_output_format=pytest", - "--per_condition_timeout=64", + "--per_condition_timeout=20", ".".join( [ function_to_optimize.file_path.relative_to(args.project_root)