diff options
Diffstat (limited to 'test/harness')
-rw-r--r-- | test/harness/mainlists.c | 5 | ||||
-rw-r--r-- | test/harness/mainswitchtbl.c | 11 |
2 files changed, 11 insertions, 5 deletions
diff --git a/test/harness/mainlists.c b/test/harness/mainlists.c index ef11f6ef..281b919f 100644 --- a/test/harness/mainlists.c +++ b/test/harness/mainlists.c @@ -2,11 +2,6 @@ #include <stddef.h> #include <stdlib.h> -void * compcert_alloc(int sz) -{ - return malloc(sz); -} - struct cons { int hd; struct cons * tl; }; typedef struct cons * list; diff --git a/test/harness/mainswitchtbl.c b/test/harness/mainswitchtbl.c new file mode 100644 index 00000000..24ba17e7 --- /dev/null +++ b/test/harness/mainswitchtbl.c @@ -0,0 +1,11 @@ +#include <stdlib.h> +#include <stdio.h> + +extern int f(int); + +int main(int argc, char ** argv) +{ + int i; + for (i = 0; i < 10; i++) printf("%2d -> %2d\n", i, f(i)); + return 0; +} |