diff options
Diffstat (limited to 'src/InterpreterUtils.ml')
| -rw-r--r-- | src/InterpreterUtils.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml index 6f4e5bc5..ce6bd0ce 100644 --- a/src/InterpreterUtils.ml +++ b/src/InterpreterUtils.ml @@ -130,6 +130,9 @@ exception FoundGBorrowContent of g_borrow_content exception FoundGLoanContent of g_loan_content (** Utility exception *) +exception FoundSymbolicValue of V.symbolic_value +(** Utility exception *) + let symbolic_value_id_in_ctx (sv_id : V.SymbolicValueId.id) (ctx : C.eval_ctx) : bool = let obj = |