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.
Expected behaviour
The UI should display a warning but continue to be usable afterwards.
Actual behaviour
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.
Contextual information
- Frama-C installation mode: docker image
- Frama-C version: 24.0
- Plug-in used: ?
- OS name: Linux
- OS version: Ubuntu 20.04