diff options
author | Son Ho | 2022-01-05 10:36:33 +0100 |
---|---|---|
committer | Son Ho | 2022-01-05 10:36:33 +0100 |
commit | e36de39e62d2120f9e337520ccc3d897b259094f (patch) | |
tree | 8b338b6ac2f813ef31401bbda277f01320e0bdcd /src/Synthesis.ml | |
parent | f746abf4c631a860d8dafc83c47d569574bdc245 (diff) |
Implement eval_unary_op_symbolic
Diffstat (limited to 'src/Synthesis.ml')
-rw-r--r-- | src/Synthesis.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Synthesis.ml b/src/Synthesis.ml index 1519d0f0..aef001be 100644 --- a/src/Synthesis.ml +++ b/src/Synthesis.ml @@ -31,7 +31,9 @@ let synthesize_symbolic_expansion (sv : V.symbolic_value) (see : symbolic_expansion) : unit = () -let synthesize_unary_op (unop : E.unop) (op : E.operand) : 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 : E.operand) (op2 : E.operand) : unit = |