File tree Expand file tree Collapse file tree 3 files changed +3
-3
lines changed
Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -122,7 +122,7 @@ def optimize_python_code(
122122 logger .info (f"Generated { len (optimizations_json )} candidates." )
123123 console .rule ()
124124 end_time = time .perf_counter ()
125- logger .info (f"Optimization took { end_time - start_time :.2f} seconds." )
125+ logger .debug (f"Optimization took { end_time - start_time :.2f} seconds." )
126126 return [
127127 OptimizedCandidate (
128128 source_code = opt ["source_code" ],
Original file line number Diff line number Diff line change @@ -88,5 +88,5 @@ def generate_concolic_tests(
8888 logger .debug (f"Error running CrossHair Cover { ': ' + cover_result .stderr if cover_result .stderr else '.' } " )
8989 console .rule ()
9090 end_time = time .perf_counter ()
91- logger .info (f"Generated concolic tests in { end_time - start_time :.2f} seconds" )
91+ logger .debug (f"Generated concolic tests in { end_time - start_time :.2f} seconds" )
9292 return function_to_concolic_tests , concolic_test_suite_code
Original file line number Diff line number Diff line change @@ -58,7 +58,7 @@ def generate_tests(
5858 logger .warning (f"Failed to generate and instrument tests for { function_to_optimize .function_name } " )
5959 return None
6060 end_time = time .perf_counter ()
61- logger .info (f"Generated tests in { end_time - start_time :.2f} seconds" )
61+ logger .debug (f"Generated tests in { end_time - start_time :.2f} seconds" )
6262 return (
6363 generated_test_source ,
6464 instrumented_behavior_test_source ,
You can’t perform that action at this time.
0 commit comments