[eacsl] wrapper script: deactivate Variadic translation if format strings are validated

The Variadic plugin translation is incompatible with the use of option
 `-e-acsl-validate-format-strings`, so add the option
 `-variadic-no-translation` if the user activated the validation of
 format strings.

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

@@ -897,6 +897,11 @@ fi
 FRAMAC_FLAGS="$FRAMAC_FLAGS \
   -remove-unused-specified-functions"
 
+if [ -n "$OPTION_VALIDATE_FORMAT_STRINGS" ]; then
+  FRAMAC_FLAGS="$FRAMAC_FLAGS \
+    -variadic-no-translation"
+fi
+
 # C, CPP and LD flags for compilation of E-ACSL-generated sources
 EACSL_CFLAGS="$OPTION_EXTERNAL_ASSERT"
 EACSL_CPPFLAGS="-I$EACSL_SHARE"