diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-10-27 12:16:54 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-10-27 12:16:54 +0000 |
| commit | 7a3338431e5f09a90bfda16350202f5c7780d110 (patch) | |
| tree | be0e175c0ba21b3401cc227854efe7e60fc0b558 /test/c | |
| parent | ca285074159abb65a815db5c08284becaa297df0 (diff) | |
Ajout test mark&sweep GC
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@134 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/c')
| -rw-r--r-- | test/c/binarytrees.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/c/binarytrees.c b/test/c/binarytrees.c index da019af..31cf312 100644 --- a/test/c/binarytrees.c +++ b/test/c/binarytrees.c @@ -160,4 +160,5 @@ stretch tree of depth 17 check: -1 128 trees of depth 14 check: -128 32 trees of depth 16 check: -32 long lived tree of depth 16 check: -1 +skinny tree of depth 17 check: 17 *********/ |