diff options
| -rw-r--r-- | src/Synthesis.ml | 39 |
1 files changed, 20 insertions, 19 deletions
diff --git a/src/Synthesis.ml b/src/Synthesis.ml index 1f683209..d240714e 100644 --- a/src/Synthesis.ml +++ b/src/Synthesis.ml @@ -29,42 +29,43 @@ open InterpreterUtils (** Synthesize code for a symbolic expansion which doesn't lead to branching (i.e., applied on a value which is not an enumeration with several variants). *) -let synthesize_symbolic_expansion_no_branching (sv : V.symbolic_value) - (see : symbolic_expansion) : unit = +let synthesize_symbolic_expansion_no_branching (_sv : V.symbolic_value) + (_see : symbolic_expansion) : unit = () (** Synthesize code for a symbolic enum expansion (which leads to branching) *) -let synthesize_symbolic_expansion_enum_branching (sv : V.symbolic_value) - (seel : symbolic_expansion list) : unit = +let synthesize_symbolic_expansion_enum_branching (_sv : V.symbolic_value) + (_seel : symbolic_expansion list) : unit = () -let synthesize_symbolic_expansion_if_branching (sv : V.symbolic_value) : unit = +let synthesize_symbolic_expansion_if_branching (_sv : V.symbolic_value) : unit = () -let synthesize_symbolic_expansion_switch_int_branching (sv : V.symbolic_value) : - unit = +let synthesize_symbolic_expansion_switch_int_branching (_sv : V.symbolic_value) + : unit = () -let synthesize_unary_op (unop : E.unop) (op : V.typed_value) - (dest : V.symbolic_value) : unit = +let synthesize_unary_op (_unop : E.unop) (_op : V.typed_value) + (_dest : V.symbolic_value) : unit = () -let synthesize_binary_op (binop : E.binop) (op1 : V.typed_value) - (op2 : V.typed_value) (dest : V.symbolic_value) : unit = +let synthesize_binary_op (_binop : E.binop) (_op1 : V.typed_value) + (_op2 : V.typed_value) (_dest : V.symbolic_value) : unit = () (** Actually not sure if we need this, or a synthesize_symbolic_expansion_enum *) -let synthesize_eval_rvalue_discriminant (p : E.place) : unit = () +let synthesize_eval_rvalue_discriminant (_p : E.place) : unit = () -let synthesize_eval_rvalue_ref (p : E.place) (bkind : E.borrow_kind) : unit = () +let synthesize_eval_rvalue_ref (_p : E.place) (_bkind : E.borrow_kind) : unit = + () -let synthesize_eval_rvalue_aggregate (aggregate_kind : E.aggregate_kind) - (ops : E.operand list) : unit = +let synthesize_eval_rvalue_aggregate (_aggregate_kind : E.aggregate_kind) + (_ops : E.operand list) : unit = () -let synthesize_function_call (fid : A.fun_id) - (region_params : T.erased_region list) (type_params : T.ety list) - (args : V.typed_value list) (dest : E.place) (res : V.symbolic_value) : unit - = +let synthesize_function_call (_fid : A.fun_id) + (_region_params : T.erased_region list) (_type_params : T.ety list) + (_args : V.typed_value list) (_dest : E.place) (_res : V.symbolic_value) : + unit = () |