diff options
author | Son Ho | 2022-01-26 22:55:11 +0100 |
---|---|---|
committer | Son Ho | 2022-01-26 22:55:11 +0100 |
commit | 7729f9c571981e3ace548cbb780cb35662fba807 (patch) | |
tree | ca445920c207548e3c27b4b9910d576db65dcdda /src/SymbolicAst.ml | |
parent | a2a40e7f39990f9d777e91d4b2f3957f5e70d685 (diff) |
Make more progress on generating the symbolic AST for the backward
functions
Diffstat (limited to '')
-rw-r--r-- | src/SymbolicAst.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/SymbolicAst.ml b/src/SymbolicAst.ml index 9dc20468..f0873aa3 100644 --- a/src/SymbolicAst.ml +++ b/src/SymbolicAst.ml @@ -28,9 +28,11 @@ type call = { used in CFIM: they are a first step towards lambda-calculus expressions. *) type expression = - | Return of V.typed_value - (** The typed value stored in [Return] is the value contained in the return - variable upon returning + | Return of V.typed_value option + (** There are two cases: + - the AST is for a forward function: the typed value should contain + the value which was in the return variable + - the AST is for a backward function: the typed value should be `None` *) | Panic | FunCall of call * expression |