diff --git a/src/plugins/e-acsl/tests/test_config_dev.in b/src/plugins/e-acsl/tests/test_config_dev.in
index 131e1da19b5d9185668fdab2a4f4b9ac9acfae2c..078ff35d56f94053034f9c87584fa6c5969e876e 100644
--- a/src/plugins/e-acsl/tests/test_config_dev.in
+++ b/src/plugins/e-acsl/tests/test_config_dev.in
@@ -1,4 +1,14 @@
 MACRO: DEST @PTEST_RESULT@/@PTEST_NAME@
 MACRO: OUT @PTEST_NAME@.res.log
 MACRO: ERR @PTEST_NAME@.err.log
-EXEC: ./scripts/e-acsl-gcc.sh -I @frama-c@ -D -q -c -X --frama-c-extra="-journal-disable -verbose 0 -kernel-warn-key *=inactive" -o @DEST@.gcc.c -O @DEST@ @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null
+COMMENT: Define the following macro to "no" in a test to stop the execution of `e-acsl-gcc.sh`
+MACRO: ROOT_EACSL_GCC_ENABLE yes
+COMMENT: Default options for `e-acsl-gcc.sh`
+MACRO: ROOT_EACSL_GCC_MISC_OPTS -D -q -X
+COMMENT: Default options for the frama-c invocation
+MACRO: ROOT_EACSL_GCC_FC_EXTRA -journal-disable -verbose 0 -kernel-warn-key *=inactive
+COMMENT: Define the following macro in a test to pass extra options to the frama-c invocation
+MACRO: ROOT_EACSL_GCC_FC_EXTRA_EXT
+COMMENT: Define the following macro in a test to pass extra options to `e-acsl-gcc.sh`
+MACRO: ROOT_EACSL_GCC_OPTS_EXT
+EXEC: if test "@ROOT_EACSL_GCC_ENABLE@" = "yes"; then ./scripts/e-acsl-gcc.sh -I @frama-c@ -c @ROOT_EACSL_GCC_MISC_OPTS@ --frama-c-extra="@ROOT_EACSL_GCC_FC_EXTRA@ @ROOT_EACSL_GCC_FC_EXTRA_EXT@" @ROOT_EACSL_GCC_OPTS_EXT@ -o @DEST@.gcc.c -O @DEST@ @PTEST_FILE@ > @PTEST_RESULT@/@OUT@ 2> @PTEST_RESULT@/@ERR@ && ./@DEST@.e-acsl > /dev/null; fi