diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-28 23:26:27 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-11-28 23:26:27 +0100 |
commit | 74aa8ab9d6e18f7964a80981516f22d1c9a545ae (patch) | |
tree | 92695241b5e58838c43c4de83b825f5371d3cefa | |
parent | 9b2efc158c5c9700ffe355c59356879df7c9cc12 (diff) | |
download | sparse-74aa8ab9d6e18f7964a80981516f22d1c9a545ae.tar.gz |
testsuite: avoid standard includes in the tests
These headers are often complex and full of implementation
specificities. They have no place in the testsuite.
So, remove these includes and replace them by the prototype
of the function being used.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | validation/backend/hello.c | 2 | ||||
-rw-r--r-- | validation/backend/sum.c | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/validation/backend/hello.c b/validation/backend/hello.c index b0e514be..eb89846f 100644 --- a/validation/backend/hello.c +++ b/validation/backend/hello.c @@ -1,4 +1,4 @@ -#include <stdio.h> +int puts(const char *s); int main(int argc, char *argv[]) { diff --git a/validation/backend/sum.c b/validation/backend/sum.c index fa51120e..38ebf41e 100644 --- a/validation/backend/sum.c +++ b/validation/backend/sum.c @@ -1,5 +1,4 @@ -#include <stdio.h> -#include <stdlib.h> +int printf(const char * fmt, ...); static int sum(int n) { |