diff --git a/src/plugins/e-acsl/tests/format/printf.c b/src/plugins/e-acsl/tests/format/printf.c
index 1340f4b8444e7d506b4b037ff7aaf491db5a3368..2bfcc362380d9ea2951b3e3e027d1134b3e0c367 100644
--- a/src/plugins/e-acsl/tests/format/printf.c
+++ b/src/plugins/e-acsl/tests/format/printf.c
@@ -1,7 +1,7 @@
 /* run.config
    COMMENT: Check detection of format-string vulnerabilities via printf
+   DONTRUN:
 */
-
 #include <stddef.h>
 #include <stdlib.h>
 #include <stdio.h>