fix cfg printer filename generation (#633)

* fix cfg printer filename generation
crytic · Sep 22, 2020 · df89ea3 · df89ea3
1 parent d51336c
commit df89ea3
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/slither/printers/functions/cfg.py b/slither/printers/functions/cfg.py
@@ -22,14 +22,16 @@ def output(self, filename):
                 continue
             for function in contract.functions + contract.modifiers:
                 if filename:
-                    filename = "{}-{}-{}.dot".format(filename, contract.name, function.full_name)
+                    new_filename = "{}-{}-{}.dot".format(
+                        filename, contract.name, function.full_name
+                    )
                 else:
-                    filename = "{}-{}.dot".format(contract.name, function.full_name)
-                info += "Export {}\n".format(filename)
+                    new_filename = "{}-{}.dot".format(contract.name, function.full_name)
+                info += "Export {}\n".format(new_filename)
                 content = function.slithir_cfg_to_dot_str()
-                with open(filename, "w", encoding="utf8") as f:
+                with open(new_filename, "w", encoding="utf8") as f:
                     f.write(content)
-                all_files.append((filename, content))
+                all_files.append((new_filename, content))
 
         self.info(info)