diff --git a/src/plugins/e-acsl/.gitattributes b/src/plugins/e-acsl/.gitattributes
index cca30ad415b5e0fc3ed4672497b187c825f437bf..9d7633a570624354415012aa73ba25e820304174 100644
--- a/src/plugins/e-acsl/.gitattributes
+++ b/src/plugins/e-acsl/.gitattributes
@@ -2,6 +2,9 @@
 # HEADER_SPEC: CEA_LGPL_OR_PROPRIETARY.E_ACSL #
 ###############################################
 
+dune-project header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
+dune header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
+
 configure.ac header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
 
 Makefile header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
@@ -20,6 +23,13 @@ Makefile.in header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
 /scripts/e-acsl-gcc.sh.comp header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
 /scripts/e-acsl-gcc.sh.comp header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
 
+###########################################
+# CHECK-INDENT                            #
+###########################################
+
+/tests/*/*.c check-syntax check-indent
+/share/**/*.c check-syntax check-indent
+
 ########################
 # HEADER_SPEC: .ignore #
 ########################
@@ -60,10 +70,9 @@ README header_spec=.ignore
 
 /tests/test_config header_spec=.ignore
 /tests/test_config_dev header_spec=.ignore
-/tests/**/* header_spec
+/tests/**/* header_spec=.ignore
 
 /tests/wrapper.sh header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
 /tests/E_ACSL_test.ml header_spec=CEA_LGPL_OR_PROPRIETARY.E_ACSL
 /contrib/libdlmalloc/dlmalloc.* header_spec=MODIFIED_DLMALLOC
 /share/e-acsl/internals/e_acsl_rtl_io.* header_spec=MODIFIED_SPARETIMELABS
-