[e-acsl:tests] remove -e-acsl-prepare from tests

src/plugins/e-acsl/scripts/e-acsl-gcc.sh

@@ -557,7 +557,7 @@ do
     --then)
       shift;
       OPTION_THEN=-then
-      FRAMAC_FLAGS="-e-acsl-prepare $FRAMAC_FLAGS"
+      FRAMAC_FLAGS="$FRAMAC_FLAGS"
     ;;
     # Extra E-ACSL options
     --e-acsl-extra)

src/plugins/e-acsl/tests/memory/local_init.c

 /* run.config_ci
    COMMENT: test of a local initializer which contains an annotation
    LOG: gen_@PTEST_NAME@.c
-   STDOPT: #"@MACHDEP@ @EACSL_PREPARE@ -lib-entry -eva -then -no-lib-entry"
+   STDOPT: #"@MACHDEP@ -lib-entry -eva -then -no-lib-entry"
 */
 
 int X = 0;

src/plugins/e-acsl/tests/special/e-acsl-valid.c

 /* run.config_ci, run.config_dev
    COMMENT: test option -e-acsl-no-valid
-   STDOPT: #"@MACHDEP@ @EACSL_PREPARE@ -eva -eva-verbose 0 -then -no-eva -e-acsl-no-valid"
+   STDOPT: #"@MACHDEP@ -eva -eva-verbose 0 -then -no-eva -e-acsl-no-valid"
    MACRO: ROOT_EACSL_GCC_FC_EXTRA_EXT -eva -eva-verbose 0
    MACRO: ROOT_EACSL_GCC_OPTS_EXT --then --e-acsl-extra -e-acsl-no-valid
 */

src/plugins/e-acsl/tests/test_config_ci.in

 MACRO: DEST @PTEST_RESULT@/gen_@PTEST_NAME@
 MACRO: MACHDEP -machdep gcc_x86_64
-MACRO: EACSL_PREPARE -e-acsl-prepare -e-acsl-share ./share/e-acsl
 MACRO: GLOBAL @MACHDEP@ -remove-unused-specified-functions -variadic-no-translation -verbose 0
 MACRO: EACSL -e-acsl -e-acsl-share ./share/e-acsl -e-acsl-verbose 1
 MACRO: EVA -eva -eva-no-alloc-returns-null -eva-no-results -eva-no-print -eva-warn-key libc:unsupported-spec=inactive