one more

KRRT7 · KRRT7 · commit 47f88b9836ad · 2025-06-05T22:28:32.000-07:00
diff --git a/codeflash/verification/concolic_testing.py b/codeflash/verification/concolic_testing.py
@@ -78,7 +78,7 @@ def generate_concolic_tests(
                 test_framework=args.test_framework,
                 pytest_cmd=args.pytest_cmd,
             )
-            function_to_concolic_tests = discover_unit_tests(concolic_test_cfg)
+            function_to_concolic_tests, _ = discover_unit_tests(concolic_test_cfg)
             num_discovered_concolic_tests: int = sum([len(value) for value in function_to_concolic_tests.values()])
             logger.info(
                 f"Created {num_discovered_concolic_tests} "

Original file line number	Diff line number	Diff line change
`@@ -78,7 +78,7 @@ def generate_concolic_tests(`
`78`	`78`	`test_framework=args.test_framework,`
`79`	`79`	`pytest_cmd=args.pytest_cmd,`
`80`	`80`	`)`
`81`		`- function_to_concolic_tests = discover_unit_tests(concolic_test_cfg)`
	`81`	`+ function_to_concolic_tests, _ = discover_unit_tests(concolic_test_cfg)`
`82`	`82`	`num_discovered_concolic_tests: int = sum([len(value) for value in function_to_concolic_tests.values()])`
`83`	`83`	`logger.info(`
`84`	`84`	`f"Created {num_discovered_concolic_tests} "`