Random failures with `e-acsl-gcc.sh`

[nberth]

[E]{Sc_postproc.Eacsl} Aborting e-acsl execution. It looks like e-acsl-gcc.sh is failing on every test. You can re-try by replacing the e-acsl-gcc.sh script in '$OPAM_SWITCH_PREFIX/bin' by the one in '<seacoral-source-code>/scripts/'
[A]{Sc} NO test satisfies the E-ACSL specification

[nberth]

@Stevendeo That issue hit once more in a CI run. I remember you had a fix or suggestion of a fix, right?

[Stevendeo]

The error message is explicit about the fix: You can re-try by replacing the e-acsl-gcc.sh script in '$OPAM_SWITCH_PREFIX/bin' by the one in '<seacoral-source-code>/scripts/'.

The difference between the failing script and the one in scripts only was a -then replaced by a -then-last. IIRC, the issue was linked to a weird behavior with frama-c's project management.

[nberth]

Yes, but do you suggest to fix this in the Docker image with a copy to the relevant folder? Or should we try to embed and use that script within the tool itself?