diff --git a/src/plugins/e-acsl/tests/concurrency/threads_debug.c b/src/plugins/e-acsl/tests/concurrency/threads_debug.c
index 75bf51d6121358b31fa55b3114b3d2b2ac5a6b12..31d748444a6be8d371c348153e7033886894b409 100644
--- a/src/plugins/e-acsl/tests/concurrency/threads_debug.c
+++ b/src/plugins/e-acsl/tests/concurrency/threads_debug.c
@@ -1,10 +1,10 @@
-/* run.config, run.config_dev
+/* run.config_dev
   COMMENT: This test is identical to `parallel_thread.c` but with RTL debug code
   COMMENT: activated.
   MACRO: ROOT_EACSL_GCC_OPTS_EXT --rt-debug --rt-verbose --concurrency
-
   COMMENT: Filter the addresses of the output so that the test is deterministic.
   MACRO: ROOT_EACSL_EXEC_FILTER sed -e s_0x[0-9a-f-]*_0x0000-0000-0000_g | sed -e s_Offset:\s[0-9-]*_Offset:xxxxx_g | sed -e s/[0-9]*\skB/xxxkB/g | sed -e s/[0-9]*\sMB/xxxMB/g | sed -e s/Leaked.*bytes/Leakedxxxbytes/g
+  DONTRUN:
 */
 
 // Include existing test
diff --git a/src/plugins/e-acsl/tests/memory/vdso.c b/src/plugins/e-acsl/tests/memory/vdso.c
index d71a88db11369c7445fd003b33abea36722ffd99..38cebaf2b4d428ba7294762a882c402a5fd20665 100644
--- a/src/plugins/e-acsl/tests/memory/vdso.c
+++ b/src/plugins/e-acsl/tests/memory/vdso.c
@@ -2,7 +2,7 @@
   STDOPT: #"-e-acsl-full-mtracking"
 */
 /* run.config_dev
-  MACRO: ROOT_EACSL_GCC_OPTS_EXT --full-mtracking --rt-debug
+  DONTRUN: MACRO: ROOT_EACSL_GCC_OPTS_EXT --full-mtracking --rt-debug
 */
 
 #include <time.h>