As far as I know, - the issue has not yet been reported on [Gitlab](https://git.frama-c.com/pub/frama-c/issues); - the issue has not yet been reported on our [BTS](https://bts.frama-c.com); - I installed Frama-C as prescribed in the [instructions](INSTALL.md). # Contextual information - Frama-C installation mode: *Opam* - Frama-C version: *20.0 (Calcium)* (as reported by `frama-c -version`) - Plug-in used: *E-ACSL* - OS name: *Ubuntu* - OS version: *19.10* # Steps to reproduce the issue Run with: e-acsl-gcc.sh -omonitored_test.c -g -c test.c See the attached file for a minimal example. # Expected behaviour The generation file is compiled and executed. [test.c](/uploads/ff66f5d6118a8406a8cdab1d09686a5f/test.c) # Actual behaviour A compilation failure of the file generated file by the E-ACSL plugin.