aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-11-28 23:26:27 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-11-28 23:26:27 +0100
commit74aa8ab9d6e18f7964a80981516f22d1c9a545ae (patch)
tree92695241b5e58838c43c4de83b825f5371d3cefa
parent9b2efc158c5c9700ffe355c59356879df7c9cc12 (diff)
downloadsparse-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.c2
-rw-r--r--validation/backend/sum.c3
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)
{