Rename CFIM to LLBC

1 files changed, 7 insertions, 7 deletions

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index d073c238..82eb4b35 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -3,17 +3,17 @@ open InterpreterUtils
 open InterpreterProjectors
 open InterpreterBorrows
 open InterpreterStatements
-open CfimAstUtils
+open LlbcAstUtils
 module L = Logging
 module T = Types
-module A = CfimAst
+module A = LlbcAst
 module M = Modules
 module SA = SymbolicAst
 
 (** The local logger *)
 let log = L.interpreter_log
 
-let compute_type_fun_contexts (m : M.cfim_module) :
+let compute_type_fun_contexts (m : M.llbc_module) :
     C.type_context * C.fun_context =
   let type_decls_list, _ = M.split_declarations m.declarations in
   let type_decls, fun_decls = M.compute_defs_maps m in
@@ -251,7 +251,7 @@ module Test = struct
   (** Test a unit function (taking no arguments) by evaluating it in an empty
       environment.
    *)
-  let test_unit_function (config : C.partial_config) (m : M.cfim_module)
+  let test_unit_function (config : C.partial_config) (m : M.llbc_module)
       (fid : A.FunDeclId.id) : unit =
     (* Retrieve the function declaration *)
     let fdef = A.FunDeclId.nth m.functions fid in
@@ -298,7 +298,7 @@ module Test = struct
     && List.length def.A.signature.inputs = 0
 
   (** Test all the unit functions in a list of function definitions *)
-  let test_unit_functions (config : C.partial_config) (m : M.cfim_module) : unit
+  let test_unit_functions (config : C.partial_config) (m : M.llbc_module) : unit
       =
     let unit_funs = List.filter fun_decl_is_unit m.functions in
     let test_unit_fun (def : A.fun_decl) : unit =
@@ -335,9 +335,9 @@ module Test = struct
       they are not supported by the symbolic interpreter.
    *)
   let test_functions_symbolic (config : C.partial_config) (synthesize : bool)
-      (m : M.cfim_module) : unit =
+      (m : M.llbc_module) : unit =
     let no_loop_funs =
-      List.filter (fun f -> not (CfimAstUtils.fun_decl_has_loops f)) m.functions
+      List.filter (fun f -> not (LlbcAstUtils.fun_decl_has_loops f)) m.functions
     in
     let type_context, fun_context = compute_type_fun_contexts m in
     let test_fun (def : A.fun_decl) : unit =