diff options
author | Son Ho | 2022-01-27 23:44:08 +0100 |
---|---|---|
committer | Son Ho | 2022-01-27 23:44:08 +0100 |
commit | 777f54fa007dfc0ec92cf8e7c6b7c36931775d68 (patch) | |
tree | 1a8f03ceb679d26ea658f77e1d4230faa6221d0d /src/SymbolicAst.ml | |
parent | 9fe5e13657ff1f3bdc376302cfa6197252c47a01 (diff) |
Generate meta-information for assignments in the symbolic AST
Diffstat (limited to 'src/SymbolicAst.ml')
-rw-r--r-- | src/SymbolicAst.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/SymbolicAst.ml b/src/SymbolicAst.ml index c9ab87e0..3148f833 100644 --- a/src/SymbolicAst.ml +++ b/src/SymbolicAst.ml @@ -95,3 +95,5 @@ and expansion = and meta = | Aggregate of mplace option * V.typed_value (** We generated an aggregate value *) + | Assignment of mplace * V.typed_value + (** We generated an assignment (destination, assigned value) *) |