Merge pull request #445 from codeflash-ai/faster-concolic-testing

misrasaurabh1 · web-flow · commit 9c0fa453ecf1 · 2025-06-27T08:53:49.000-07:00
concolic time from 64 to 20s per condition
diff --git 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)

Original file line number	Diff line number	Diff line change
`@@ -43,7 +43,7 @@ def generate_concolic_tests(`
`43`	`43`	`"crosshair",`
`44`	`44`	`"cover",`
`45`	`45`	`"--example_output_format=pytest",`
`46`		`- "--per_condition_timeout=64",`
	`46`	`+ "--per_condition_timeout=20",`
`47`	`47`	`".".join(`
`48`	`48`	`[`
`49`	`49`	`function_to_optimize.file_path.relative_to(args.project_root)`