[WP] crash observed with scripts and strategies
Expected behaviour
No crash
Actual behaviour
Crash in some situations when running WP in the presence of existing scripts recorded via strategies.
Here is a screenshot (with a hidden full file name).
Contextual information
- Frama-C installation mode: Opam from public GIT
- Frama-C version: 28.0+dev (Nickel) commit cdd528, similar behavior observed on 28.0beta
- Plug-in used: WP
- OS name: Ubuntu
- OS version: 22.04
FYI @tbernier