diff options
Diffstat (limited to '')
-rw-r--r-- | src/Interpreter.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index 2f0f52af..8cab8c47 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -67,7 +67,9 @@ module Test = struct let ctx, inst_sg = instantiate_fun_sig type_params sg ctx in (* Create fresh symbolic values for the inputs *) let input_svs = - List.map (fun ty -> mk_fresh_symbolic_value ty) inst_sg.inputs + List.map + (fun ty -> mk_fresh_symbolic_value V.SynthInput ty) + inst_sg.inputs in (* Initialize the abstractions as empty (i.e., with no avalues) abstractions *) let empty_absl = |