diff options
| -rw-r--r-- | src/Interpreter.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index 75e97e03..79ec5988 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -1835,7 +1835,12 @@ let rec eval_statement (config : C.config) (ctx : C.eval_ctx) (st : A.statement) let ctx1, _ = prepare_rplace config Read p ctx in Ok (ctx1, Unit) | A.SetDiscriminant (p, variant_id) -> raise Unimplemented - | A.Drop p -> raise Unimplemented + | A.Drop p -> + let ctx1, v = prepare_lplace config p ctx in + let nv = { v with value = V.Bottom } in + let env2 = write_place_unwrap config Write p nv ctx1.env in + let ctx2 = { ctx with env = env2 } in + Ok (ctx2, Unit) | A.Assert assertion -> raise Unimplemented | A.Call call -> raise Unimplemented | A.Panic -> Error Panic |