diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-07-24 16:09:47 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-07-24 16:09:47 +0200 |
commit | 04941b3cb8712cee9c3b0806cfe7aa76287c40e8 (patch) | |
tree | 54f8cb441d348c3c06821ff288086d2cde19c9a2 /test/c/Results/fannkuch | |
parent | 8a9bb1e699d62a8b5c88a54440ee2149acf7021a (diff) | |
download | compcert-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/fannkuch')
-rw-r--r-- | test/c/Results/fannkuch | 62 |
1 files changed, 31 insertions, 31 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 |