aboutsummaryrefslogtreecommitdiffstats
path: root/test/c/Results/binarytrees
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2017-08-26 10:04:43 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2017-08-26 10:04:43 +0200
commitf6cbce233ef89c30bbc8334c800e8a205677ec8b (patch)
tree5d71e539a0241c74c6cf99a1b9c99843411d04f8 /test/c/Results/binarytrees
parent4affb2b02e486681b39add0dbaf4f873a91885c8 (diff)
downloadcompcert-kvx-f6cbce233ef89c30bbc8334c800e8a205677ec8b.tar.gz
compcert-kvx-f6cbce233ef89c30bbc8334c800e8a205677ec8b.zip
Reduce the running times of the tests in test/c
Running times were too long when executed on low-end ARM or PowerPC hardware, or under QEMU emulation.
Diffstat (limited to 'test/c/Results/binarytrees')
-rw-r--r--test/c/Results/binarytrees16
1 files changed, 7 insertions, 9 deletions
diff --git a/test/c/Results/binarytrees b/test/c/Results/binarytrees
index 696bd5c8..9dfe1355 100644
--- a/test/c/Results/binarytrees
+++ b/test/c/Results/binarytrees
@@ -1,9 +1,7 @@
-stretch tree of depth 17 check: -1
-131072 trees of depth 4 check: -131072
-32768 trees of depth 6 check: -32768
-8192 trees of depth 8 check: -8192
-2048 trees of depth 10 check: -2048
-512 trees of depth 12 check: -512
-128 trees of depth 14 check: -128
-32 trees of depth 16 check: -32
-long lived tree of depth 16 check: -1
+stretch tree of depth 13 check: -1
+8192 trees of depth 4 check: -8192
+2048 trees of depth 6 check: -2048
+512 trees of depth 8 check: -512
+128 trees of depth 10 check: -128
+32 trees of depth 12 check: -32
+long lived tree of depth 12 check: -1