diff options
author | Son Ho | 2022-02-24 01:56:27 +0100 |
---|---|---|
committer | Son Ho | 2022-02-24 01:56:27 +0100 |
commit | ba48bca05e97c8f71713c7ce972f70c521da7bfd (patch) | |
tree | f301a7a74ea2ffd6d51803fa331d7c138b187d2e /src/Interpreter.ml | |
parent | 27732e406720422313579b7d3a97977463183b89 (diff) |
Update the way function names are handled
Diffstat (limited to '')
-rw-r--r-- | src/Interpreter.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index 120faeda..91ad6843 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -193,7 +193,7 @@ let evaluate_function_symbolic (config : C.partial_config) (synthesize : bool) V.symbolic_value list * SA.expression option = (* Debug *) let name_to_string () = - Print.name_to_string fdef.A.name + Print.fun_name_to_string fdef.A.name ^ " (" ^ Print.option_to_string T.RegionGroupId.to_string back_id ^ ")" @@ -258,7 +258,7 @@ module Test = struct (* Debug *) log#ldebug - (lazy ("test_unit_function: " ^ Print.name_to_string fdef.A.name)); + (lazy ("test_unit_function: " ^ Print.fun_name_to_string fdef.A.name)); (* Sanity check - *) assert (List.length fdef.A.signature.region_params = 0); @@ -282,7 +282,7 @@ module Test = struct | _ -> failwith ("Unit test failed (concrete execution) on: " - ^ Print.name_to_string fdef.A.name) + ^ Print.fun_name_to_string fdef.A.name) in (* Evaluate the function *) @@ -312,7 +312,7 @@ module Test = struct (fdef : A.fun_def) : unit = (* Debug *) log#ldebug - (lazy ("test_function_symbolic: " ^ Print.name_to_string fdef.A.name)); + (lazy ("test_function_symbolic: " ^ Print.fun_name_to_string fdef.A.name)); (* Evaluate *) let evaluate = |