diff options
author | blazy <blazy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-10-20 12:37:13 +0000 |
---|---|---|
committer | blazy <blazy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-10-20 12:37:13 +0000 |
commit | ca0c62265eb8cdd5fb0d8a8b34ee77baf3de987e (patch) | |
tree | 50a139db8e2ac51c6ff41f3790ff72aa417ed3be /test/ccured_olden/power/out.orig | |
parent | 43668d9109b1f36329646fd07324d435be6f0050 (diff) | |
download | compcert-ca0c62265eb8cdd5fb0d8a8b34ee77baf3de987e.tar.gz compcert-ca0c62265eb8cdd5fb0d8a8b34ee77baf3de987e.zip |
Ajout du banc de tests de CCured (Olden benchmark suite, cf.
CCured: type-safe retrofitting of legacy code, G.Necula et al.)
rapportCompcert_all.txt liste les erreurs produites par ccomp.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@121 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/ccured_olden/power/out.orig')
-rw-r--r-- | test/ccured_olden/power/out.orig | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/test/ccured_olden/power/out.orig b/test/ccured_olden/power/out.orig new file mode 100644 index 00000000..ce4ccae8 --- /dev/null +++ b/test/ccured_olden/power/out.orig @@ -0,0 +1,37 @@ +Past initialization +Built tree +TR= 0.70000, TI= 0.14000, P0=7368.11283, Q0=1486.61206 +D TR- 0.00899, TI= 0.00214 +TR= 0.70899, TI= 0.14214, P0=6825.69077, Q0=1376.20403 +D TR- -0.00662, TI= -0.00114 +TR= 0.70236, TI= 0.14099, P0=7102.87981, Q0=1432.59759 +D TR- 0.00198, TI= 0.00056 +TR= 0.70435, TI= 0.14155, P0=7000.94922, Q0=1411.85085 +D TR- -0.00106, TI= -0.00009 +TR= 0.70328, TI= 0.14146, P0=7047.52523, Q0=1421.32891 +D TR- 0.00036, TI= 0.00016 +TR= 0.70365, TI= 0.14162, P0=7029.01641, Q0=1417.56197 +D TR- -0.00018, TI= 0.00003 +TR= 0.70346, TI= 0.14166, P0=7037.01709, Q0=1419.19017 +D TR- 0.00005, TI= 0.00006 +TR= 0.70352, TI= 0.14172, P0=7033.77002, Q0=1418.52933 +D TR- -0.00003, TI= 0.00003 +TR= 0.70348, TI= 0.14175, P0=7035.10974, Q0=1418.80198 +D TR- 0.00000, TI= 0.00003 +TR= 0.70349, TI= 0.14178, P0=7034.59229, Q0=1418.69667 +D TR- -0.00000, TI= 0.00002 +TR= 0.70348, TI= 0.14180, P0=7034.76550, Q0=1418.73192 +D TR- -0.00000, TI= 0.00001 +TR= 0.70348, TI= 0.14182, P0=7034.73206, Q0=1418.72511 +D TR- -0.00000, TI= 0.00001 +TR= 0.70348, TI= 0.14183, P0=7034.72701, Q0=1418.72409 +D TR- -0.00000, TI= 0.00000 +TR= 0.70347, TI= 0.14184, P0=7034.72601, Q0=1418.72388 +D TR- -0.00000, TI= 0.00000 +TR= 0.70347, TI= 0.14185, P0=7034.72675, Q0=1418.72403 +D TR- -0.00000, TI= 0.00000 +TR= 0.70347, TI= 0.14185, P0=7034.72767, Q0=1418.72422 +D TR- -0.00000, TI= 0.00000 +TR= 0.70347, TI= 0.14186, P0=7034.72812, Q0=1418.72431 +D TR- -0.00000, TI= 0.00000 +TR= 0.70347, TI= 0.14186, P0=7034.72817, Q0=1418.72432 |