From ca0c62265eb8cdd5fb0d8a8b34ee77baf3de987e Mon Sep 17 00:00:00 2001 From: blazy Date: Fri, 20 Oct 2006 12:37:13 +0000 Subject: 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 --- test/ccured_olden/power/output | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 test/ccured_olden/power/output (limited to 'test/ccured_olden/power/output') diff --git a/test/ccured_olden/power/output b/test/ccured_olden/power/output new file mode 100644 index 00000000..5d8d9f14 --- /dev/null +++ b/test/ccured_olden/power/output @@ -0,0 +1,38 @@ +Past initialization +Built tree +TR= 0.700000000, TI= 0.140000000, P0=7368.112832298, Q0=1486.612062522 +D TR- 0.008993314, TI= 0.002144467 +TR= 0.708993314, TI= 0.142144467, P0=6825.690778967, Q0=1376.204035288 +D TR- -0.006624389, TI= -0.001149403 +TR= 0.702368925, TI= 0.140995064, P0=7102.879810214, Q0=1432.597592989 +D TR- 0.001985258, TI= 0.000560726 +TR= 0.704354182, TI= 0.141555790, P0=7000.949225527, Q0=1411.850856419 +D TR- -0.001067770, TI= -0.000091784 +TR= 0.703286413, TI= 0.141464005, P0=7047.525235387, Q0=1421.328911557 +D TR- 0.000367545, TI= 0.000165612 +TR= 0.703653957, TI= 0.141629618, P0=7029.016413235, Q0=1417.561973965 +D TR- -0.000188601, TI= 0.000031340 +TR= 0.703465356, TI= 0.141660958, P0=7037.017091019, Q0=1419.190170854 +D TR- 0.000059252, TI= 0.000063894 +TR= 0.703524609, TI= 0.141724852, P0=7033.770028540, Q0=1418.529337079 +D TR- -0.000037004, TI= 0.000031712 +TR= 0.703487605, TI= 0.141756564, P0=7035.109740779, Q0=1418.801987979 +D TR- 0.000005859, TI= 0.000030611 +TR= 0.703493463, TI= 0.141787176, P0=7034.592291756, Q0=1418.696672935 +D TR- -0.000008582, TI= 0.000020424 +TR= 0.703484881, TI= 0.141807600, P0=7034.765506561, Q0=1418.731929644 +D TR- -0.000002088, TI= 0.000016240 +TR= 0.703482793, TI= 0.141823841, P0=7034.732061514, Q0=1418.725114927 +D TR- -0.000002403, TI= 0.000012051 +TR= 0.703480389, TI= 0.141835891, P0=7034.727015389, Q0=1418.724090079 +D TR- -0.000001927, TI= 0.000009042 +TR= 0.703478462, TI= 0.141844933, P0=7034.726010052, Q0=1418.723886296 +D TR- -0.000001469, TI= 0.000006798 +TR= 0.703476993, TI= 0.141851731, P0=7034.726755730, Q0=1418.724038175 +D TR- -0.000001082, TI= 0.000005119 +TR= 0.703475910, TI= 0.141856849, P0=7034.727670658, Q0=1418.724224195 +D TR- -0.000000788, TI= 0.000003856 +TR= 0.703475122, TI= 0.141860705, P0=7034.728128768, Q0=1418.724317198 +D TR- -0.000000579, TI= 0.000002903 +TR= 0.703474543, TI= 0.141863609, P0=7034.728179600, Q0=1418.724327425 +Elapsed time 5130.000000 -- cgit