diff --git a/src/plugins/instantiate/Makefile.in b/src/plugins/instantiate/Makefile.in index 5658325fc33460de75c7ad25981c3f778e63818d..1243f1bb6bedf316c9d36d046e21dee5c5c7a2df 100644 --- a/src/plugins/instantiate/Makefile.in +++ b/src/plugins/instantiate/Makefile.in @@ -66,6 +66,14 @@ PLUGIN_DISTRIBUTED := $(PLUGIN_ENABLE) PLUGIN_DISTRIB_EXTERNAL:= Makefile.in configure.ac configure #PLUGIN_NO_DEFAULT_TEST := no PLUGIN_TESTS_DIRS := string stdlib options api plugin +PLUGIN_DISTRIB_TESTS := \ + $(foreach dir, $(addprefix tests/,$(PLUGIN_TESTS_DIRS)), \ + $(dir)/oracle/* \ + $(filter-out result oracle,$(dir)/*)) \ + ) \ + $(filter-out result oracle,tests/*)) \ + $(foreach dir, tests $(addprefix tests/,$(PLUGIN_TESTS_DIRS)), \ + $(dir)/test_config) ################ # Generic part # diff --git a/src/plugins/instantiate/tests/options/test_config b/src/plugins/instantiate/tests/options/test_config index 01d3ae76752389c86266658217efba589a7e71e0..b5a180b54364b476c60b7ec846eb330e5b84d2ff 100644 --- a/src/plugins/instantiate/tests/options/test_config +++ b/src/plugins/instantiate/tests/options/test_config @@ -1 +1 @@ -OPT: @PTEST_FILE@ -instantiate -print \ No newline at end of file +OPT: @PTEST_FILE@ -instantiate -print diff --git a/src/plugins/instantiate/tests/plugin/ast_clear.c b/src/plugins/instantiate/tests/plugin/ast_clear.c index d3dfbb6ad2a2fb83924f23cba30589f680d415e9..7efc3990bd099a9f2d634f975e82efe66e589c10 100644 --- a/src/plugins/instantiate/tests/plugin/ast_clear.c +++ b/src/plugins/instantiate/tests/plugin/ast_clear.c @@ -6,4 +6,4 @@ int foo(char* s1, char* s2, size_t len){ return memcmp(s1, s2, len) ; -} \ No newline at end of file +} diff --git a/src/plugins/instantiate/tests/plugin/function_pointers.i b/src/plugins/instantiate/tests/plugin/function_pointers.i index 8f27dd1ab187cf20f3fd5572383a80d7e5be4dd9..b40b49be87beb6cc3670325f2f3047cfda6e986a 100644 --- a/src/plugins/instantiate/tests/plugin/function_pointers.i +++ b/src/plugins/instantiate/tests/plugin/function_pointers.i @@ -3,4 +3,4 @@ */ void foo(void (* bar)()){ (*bar)(); -} \ No newline at end of file +} diff --git a/src/plugins/instantiate/tests/stdlib/calloc.c b/src/plugins/instantiate/tests/stdlib/calloc.c index d87508ad415bcf21b677949b5429c8b8b376fc97..6b100ff812eddc17145ebc067f7fa31b5c3faf80 100644 --- a/src/plugins/instantiate/tests/stdlib/calloc.c +++ b/src/plugins/instantiate/tests/stdlib/calloc.c @@ -23,4 +23,4 @@ int main(void){ struct Flex* f = calloc(1, sizeof(struct Flex) + 3 * sizeof(int)) ; void *v = calloc(10, sizeof(char)); struct incomplete* inc = calloc(10, 10); -} \ No newline at end of file +} diff --git a/src/plugins/instantiate/tests/stdlib/free.c b/src/plugins/instantiate/tests/stdlib/free.c index e61ed8864c1d2657e6dc1f65a0d047735b3a2d6b..f2786b05cb0fdfcdfa1dc295a4f5085080b3b4f8 100644 --- a/src/plugins/instantiate/tests/stdlib/free.c +++ b/src/plugins/instantiate/tests/stdlib/free.c @@ -14,4 +14,4 @@ void with_void(void * x){ } void with_incomplete(struct incomplete* t){ free(t); -} \ No newline at end of file +} diff --git a/src/plugins/instantiate/tests/stdlib/malloc.c b/src/plugins/instantiate/tests/stdlib/malloc.c index 00a07820a9ac4377c39826e16538d62e6f8c2322..70fab21bc4751ff7ac5920cfc4b044693f990f29 100644 --- a/src/plugins/instantiate/tests/stdlib/malloc.c +++ b/src/plugins/instantiate/tests/stdlib/malloc.c @@ -22,4 +22,4 @@ int main(void){ struct Flex* f = malloc(sizeof(struct Flex) + 3 * sizeof(int)) ; void *v = malloc(sizeof(char) * 10); struct incomplete* inc = malloc(10); -} \ No newline at end of file +}