diff options
author | Son Ho | 2022-01-05 10:49:51 +0100 |
---|---|---|
committer | Son Ho | 2022-01-05 10:49:51 +0100 |
commit | dae91ffddfb90e350702e40477db37390ba17cae (patch) | |
tree | cf0e06539f2ae78747de9f0c59f603ecbfdb60cd /src/Synthesis.ml | |
parent | e36de39e62d2120f9e337520ccc3d897b259094f (diff) |
Implement eval_binary_op_symbolic
Diffstat (limited to 'src/Synthesis.ml')
-rw-r--r-- | src/Synthesis.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Synthesis.ml b/src/Synthesis.ml index aef001be..f3cc5f91 100644 --- a/src/Synthesis.ml +++ b/src/Synthesis.ml @@ -35,8 +35,8 @@ let synthesize_unary_op (unop : E.unop) (op : V.typed_value) (dest : V.symbolic_value) : unit = () -let synthesize_binary_op (binop : E.binop) (op1 : E.operand) (op2 : E.operand) : - 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 *) |