summaryrefslogtreecommitdiff
path: root/test/c
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2006-10-27 12:16:54 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2006-10-27 12:16:54 +0000
commit7a3338431e5f09a90bfda16350202f5c7780d110 (patch)
treebe0e175c0ba21b3401cc227854efe7e60fc0b558 /test/c
parentca285074159abb65a815db5c08284becaa297df0 (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.c1
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
*********/