diff options
Diffstat (limited to '')
| -rw-r--r-- | src/SynthesizeSymbolic.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/SynthesizeSymbolic.ml b/src/SynthesizeSymbolic.ml index 7ba1da7f..f86d40f0 100644 --- a/src/SynthesizeSymbolic.ml +++ b/src/SynthesizeSymbolic.ml @@ -150,3 +150,9 @@ let synthesize_end_abstraction (abs : V.abs) (expr : expression option) : match expr with | None -> None | Some expr -> Some (EndAbstraction (abs, expr)) + +let synthesize_assignment (place : mplace) (rvalue : V.typed_value) + (expr : expression option) : expression option = + match expr with + | None -> None + | Some expr -> Some (Meta (Assignment (place, rvalue), expr)) |