diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Interpreter.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index 745142b6..1c54d9a4 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -3814,6 +3814,7 @@ let eval_rvalue (config : C.config) (ctx : C.eval_ctx) (rvalue : E.rvalue) : ( ctx, { V.value = V.Concrete (V.Scalar sv); ty = Integer Isize } ))) + | Symbolic _ -> raise Unimplemented | _ -> failwith "Invalid input for `discriminant`") | E.Aggregate (aggregate_kind, ops) -> ( (* Evaluate the operands *) |