Merge branch 'fix/andre/e-acsl-tests-distrib' into 'master'

[e-acsl] fix distribution of symbolic dirs in tests

See merge request frama-c/frama-c!3701

src/plugins/e-acsl/Makefile.in

@@ -370,8 +370,9 @@ EACSL_DISTRIB_TESTS = \
       $(dir)/test_config_dev \
       $(dir)/oracle/* \
       $(dir)/oracle_dev/* \
-  )
-
+  ) \
+  tests/builtin/utils \
+  tests/format/utils
 
 EACSL_RTL_FILES = $(EACSL_RTL_SRC)