aboutsummaryrefslogtreecommitdiffstats
path: root/test/c/Results
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2016-07-24 16:09:47 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2016-07-24 16:09:47 +0200
commit04941b3cb8712cee9c3b0806cfe7aa76287c40e8 (patch)
tree54f8cb441d348c3c06821ff288086d2cde19c9a2 /test/c/Results
parent8a9bb1e699d62a8b5c88a54440ee2149acf7021a (diff)
downloadcompcert-04941b3cb8712cee9c3b0806cfe7aa76287c40e8.tar.gz
compcert-04941b3cb8712cee9c3b0806cfe7aa76287c40e8.zip
Updates to the local test suite
- Adjust parameters to bring the running time of each test closer to 1 second - compression/arcode.c: array access one past - "inline" -> "static inline" - Remove cchecklink support
Diffstat (limited to 'test/c/Results')
-rw-r--r--test/c/Results/fannkuch62
-rw-r--r--test/c/Results/fib2
2 files changed, 32 insertions, 32 deletions
diff --git a/test/c/Results/fannkuch b/test/c/Results/fannkuch
index be1815d4..15d56d61 100644
--- a/test/c/Results/fannkuch
+++ b/test/c/Results/fannkuch
@@ -1,31 +1,31 @@
-12345678910
-21345678910
-23145678910
-32145678910
-31245678910
-13245678910
-23415678910
-32415678910
-34215678910
-43215678910
-42315678910
-24315678910
-34125678910
-43125678910
-41325678910
-14325678910
-13425678910
-31425678910
-41235678910
-14235678910
-12435678910
-21435678910
-24135678910
-42135678910
-23451678910
-32451678910
-34251678910
-43251678910
-42351678910
-24351678910
-Pfannkuchen(10) = 38
+1234567891011
+2134567891011
+2314567891011
+3214567891011
+3124567891011
+1324567891011
+2341567891011
+3241567891011
+3421567891011
+4321567891011
+4231567891011
+2431567891011
+3412567891011
+4312567891011
+4132567891011
+1432567891011
+1342567891011
+3142567891011
+4123567891011
+1423567891011
+1243567891011
+2143567891011
+2413567891011
+4213567891011
+2345167891011
+3245167891011
+3425167891011
+4325167891011
+4235167891011
+2435167891011
+Pfannkuchen(11) = 51
diff --git a/test/c/Results/fib b/test/c/Results/fib
index 3ed84615..53a71233 100644
--- a/test/c/Results/fib
+++ b/test/c/Results/fib
@@ -1 +1 @@
-fib(36) = 24157817
+fib(40) = 165580141