rename repair framework

Author: Nfsaavedra

glitch/__main__.py

@@ -19,7 +19,7 @@
 from glitch.parsers.terraform import TerraformParser
 from glitch.parsers.gha import GithubActionsParser
 from glitch.exceptions import throw_exception
-from glitch.repair.interactive.main import run_dejavu
+from glitch.repair.interactive.main import run_infrafix
 from pkg_resources import resource_filename
 from copy import deepcopy
 from concurrent.futures import ThreadPoolExecutor, Future, as_completed
@@ -284,15 +284,15 @@ def lint(
 @cli.command()
 @__common_params
 @click.argument("pid", type=str, required=True)
-def dejavu(
+def infrafix(
     path: str,
     pid: str,
     tech: str,  # type: ignore
     type: UnitBlockType,
 ):
     tech: Tech = __get_tech(tech)
     parser = __get_parser(tech)
-    run_dejavu(path, pid, parser, type, tech)
+    run_infrafix(path, pid, parser, type, tech)
 
 
 @cli.command()

glitch/repair/interactive/main.py

@@ -20,7 +20,7 @@
 from glitch.repair.interactive.delta_p import PStatement
 
 
-def run_dejavu(path: str, pid: str, parser: Parser, type: UnitBlockType, tech: Tech):
+def run_infrafix(path: str, pid: str, parser: Parser, type: UnitBlockType, tech: Tech):
     inter: UnitBlock | None = parser.parse_file(path, type)
     assert inter is not None
     NormalizationVisitor(tech).visit(inter)