Remove debugging code

tritondse/symbolic_explorator.py

@@ -162,11 +162,6 @@ def _worker(self, seed, uid):
 
         logger.info(f"Emulation: {self._fmt_secs(expl_ts)} | Solving: {self._fmt_secs(solve_time)} | Elapsed: {self._fmt_secs(self.__time_delta())}\n")
 
-        self.current_executor = None
-        del execution.rtn_table
-        del cbs
-        # del execution
-
     def step(self) -> None:
         """
         Perform a single exploration step. That means it execute
@@ -213,7 +208,7 @@ def explore(self) -> ExplorationStatus:
 
         try:
             while self.seeds_manager.seeds_available() and not self._stop:
-                # gc.collect()
+                gc.collect()
                 self.step()
 
             if self.status == ExplorationStatus.RUNNING: