diff --git a/src/plugins/e-acsl/headers/header_spec.txt b/src/plugins/e-acsl/headers/header_spec.txt
index 46910169ea99df784d6b3c149c3bc41fc022f526..ee1e9579e8337b2c4c86dacfa0c1416d1251ad94 100644
--- a/src/plugins/e-acsl/headers/header_spec.txt
+++ b/src/plugins/e-acsl/headers/header_spec.txt
@@ -13,7 +13,6 @@ license/SPARETIMELABS: .ignore
 license/headache_config.txt: .ignore
 man/e-acsl-gcc.sh.1: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 scripts/e-acsl-gcc.sh: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-scripts/testrun.sh: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 share/e-acsl/bittree_model/e_acsl_bittree.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 share/e-acsl/bittree_model/e_acsl_bittree_api.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c: CEA_LGPL_OR_PROPRIETARY.E_ACSL
@@ -100,4 +99,15 @@ src/project_initializer/keep_status.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 src/project_initializer/prepare_ast.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 src/project_initializer/prepare_ast.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 tests/print.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
-tests/test_config.in: .ignore
+tests/test_config_ci.in: .ignore
+tests/test_config_dev.in: .ignore
+tests/builtin/test_config_ci: .ignore
+tests/builtin/test_config_dev: .ignore
+tests/format/test_config_ci: .ignore
+tests/format/test_config_dev: .ignore
+tests/full-mmodel/test_config_ci: .ignore
+tests/full-mmodel/test_config_dev: .ignore
+tests/gmp-only/test_config_ci: .ignore
+tests/gmp-only/test_config_dev: .ignore
+tests/temporal/test_config_ci: .ignore
+tests/temporal/test_config_dev: .ignore