We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e970866 commit 8dd6605Copy full SHA for 8dd6605
1 file changed
codeflash/optimization/optimizer.py
@@ -559,13 +559,15 @@ def cleanup_temporary_paths(self) -> None:
559
get_run_tmp_file.tmpdir.cleanup()
560
del get_run_tmp_file.tmpdir
561
562
+ # Always clean up concolic test directory
563
+ cleanup_paths([self.test_cfg.concolic_test_root_dir])
564
+
565
if self.current_worktree:
566
remove_worktree(self.current_worktree)
567
return
568
569
if self.current_function_optimizer:
570
self.current_function_optimizer.cleanup_generated_files()
- cleanup_paths([self.test_cfg.concolic_test_root_dir])
571
572
def worktree_mode(self) -> None:
573
0 commit comments