Skip to content
Snippets Groups Projects
Commit 67770028 authored by David Bühler's avatar David Bühler
Browse files

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

parent 4402dca0
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/Makefile.in
+ 2
− 2
View file @ 67770028
...@@ -292,8 +292,8 @@ EACSL_DISTRIB_TESTS = \ ...@@ -292,8 +292,8 @@ EACSL_DISTRIB_TESTS = \
$(foreach dir, $(addprefix tests/,$(PLUGIN_TESTS_DIRS)), \ $(foreach dir, $(addprefix tests/,$(PLUGIN_TESTS_DIRS)), \
$(dir)/*.[ich] \ $(dir)/*.[ich] \
$(dir)/test_config \ $(dir)/test_config \
$(dir)/oracle/*.c \ $(dir)/oracle_ci/*.c \
$(dir)/oracle/*.oracle \ $(dir)/oracle_ci/*.oracle \
) )
EACSL_RTL_FILES = $(EACSL_RTL_SRC) EACSL_RTL_FILES = $(EACSL_RTL_SRC)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment