#60: removed useless debug output on file

LP-RG · Jul 25, 2024 · 46657ae · 46657ae
1 parent e716b67
commit 46657ae
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/sxpat/template_manager/template_manager.py b/sxpat/template_manager/template_manager.py
@@ -592,9 +592,6 @@ def run(self) -> Sequence[Result]:
                     res_dict[f'p_o{number // 2 // self._current_graph.subgraph_num_inputs // self._specs.ppo}_t{number // 2 // self._current_graph.subgraph_num_inputs % self._specs.ppo}_i{number // 2 % self._current_graph.subgraph_num_inputs}_' + ('s' if int(x) % 2 == 0 else 'l')] = True if x[0] == '+' else False
                 else:
                     res_dict[f'p_o{x[3:]}'] = True if x[0] == '+' else False
-            asd = open('./Lollo/wrong.txt','w')
-            for x in res_dict.items():
-                asd.write(f'{x[0]} = {x[1]}\n')
             return [Result(sxpat_cfg.SAT,res_dict)]
         else:
             return [Result(sxpat_cfg.UNSAT,dict())]