diff options
author | Son Ho | 2022-01-06 14:48:32 +0100 |
---|---|---|
committer | Son Ho | 2022-01-06 14:48:32 +0100 |
commit | ec40683d2462ae15c1d0e68dbf8c6e14825b9cef (patch) | |
tree | 1ca6e6bc22eb003b20e605f69b53e5e35ebdb9ec /src/InterpreterStatements.ml | |
parent | f2fb0dc39cfa9aef2b16963d3f8a270ec45bae5e (diff) |
Implement tests for the symbolic interpreter
Diffstat (limited to '')
-rw-r--r-- | src/InterpreterStatements.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/InterpreterStatements.ml b/src/InterpreterStatements.ml index 6b06a27f..114f0daf 100644 --- a/src/InterpreterStatements.ml +++ b/src/InterpreterStatements.ml @@ -906,7 +906,7 @@ and eval_local_function_call (config : C.config) (ctx : C.eval_ctx) (** Evaluate a statement seen as a function body (auxiliary helper for [eval_statement]) *) and eval_function_body (config : C.config) (ctx : C.eval_ctx) - (body : A.statement) : (C.eval_ctx, eval_error) result list = + (body : A.statement) : C.eval_ctx eval_result list = let res = eval_statement config ctx body in let finish res = match res with |