Merge branch 'fix/e-acsl/test-oracles-distrib' into 'stable/calcium'

[e-acsl] Distributes the test oracles of E-ACSL plugin.

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

src/plugins/e-acsl/Makefile.in

@@ -292,8 +292,8 @@ EACSL_DISTRIB_TESTS = \
   $(foreach dir, $(addprefix tests/,$(PLUGIN_TESTS_DIRS)), \
       $(dir)/*.[ich] \
       $(dir)/test_config \
-      $(dir)/oracle/*.c \
-      $(dir)/oracle/*.oracle \
+      $(dir)/oracle_ci/*.c \
+      $(dir)/oracle_ci/*.oracle \
   )
 
 EACSL_RTL_FILES = $(EACSL_RTL_SRC)