diff options
author | Son Ho | 2022-01-20 19:42:14 +0100 |
---|---|---|
committer | Son Ho | 2022-01-20 19:42:14 +0100 |
commit | f081ec5969b5ced2751d7fc39420e51298e44b5e (patch) | |
tree | c17cde6ff39c93799860df5bc61183dd4f83fd07 /src/Synthesis.ml | |
parent | 6eeb6256b598bffa2a8b636748e3c73ecb473da0 (diff) |
Finish updating InterpreterStatements
Diffstat (limited to 'src/Synthesis.ml')
-rw-r--r-- | src/Synthesis.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/Synthesis.ml b/src/Synthesis.ml index b45c2810..d28a7971 100644 --- a/src/Synthesis.ml +++ b/src/Synthesis.ml @@ -75,7 +75,6 @@ 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) : @@ -83,6 +82,3 @@ let synthesize_function_call (_fid : A.fun_id) () (*let synthesize_panic () : unit = ()*) - -let synthesize_assert (_v : V.typed_value) : unit = () - *) |