Asking the UI to evaluate an invalid ACSL term makes the UI crash
Steps to reproduce the issue
Open the UI (using at least the EVA plugin) to analyze any file, right-click almost anywhere, select "Evaluate ACSL term" and enter any invalid ACSL term.
The UI should display a warning but continue to be usable afterwards.
The following dialog is shown:
"Error: Invalid term: Unbound variable azerty" (for example), and then:
Error Current source was filename.c:lineno The full backtrace is: Raised at file "map.ml", line 135, characters 10-25 Called from file "src/plugins/value/engine/abstractions.ml" line 96, characters 19-61 Unexpected error (Failure("dialog destroyed")). Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues Your Frama-C version is 24.0 (Chromium). ...
After that, trying to evaluate any ACSL term summons that same dialog.
- Frama-C installation mode: docker image
- Frama-C version: 24.0
- Plug-in used: ?
- OS name: Linux
- OS version: Ubuntu 20.04