PageRenderTime 27ms CodeModel.GetById 20ms app.highlight 2ms RepoModel.GetById 2ms app.codeStats 0ms

/test/lib/numeric/number/test_number75.e

http://github.com/tybor/Liberty
Specman e | 83 lines | 58 code | 4 blank | 21 comment | 0 complexity | ccdf5152116fcf7d7032341d337df4f9 MD5 | raw file
 1-- This file is part of SmartEiffel The GNU Eiffel Compiler Tools and Libraries.
 2-- See the Copyright notice at the end of this file.
 3--
 4class TEST_NUMBER75
 5
 6insert
 7   EIFFELTEST_TOOLS
 8   NUMBER_TOOLS
 9
10create {}
11   make
12
13feature {ANY}
14   make
15      local
16         n: NUMBER; r: STRING
17      do
18         n := from_integer(1000)
19         r := n.factorial.to_string
20         assert(r.is_equal(once "4023872600770937735437024339230039857193748642107146325437999%
21     %1042993851239862902059204420848696940480047998861019719605863%
22     %1666872994808558901323829669944590997424504087073759918823627%
23     %7271887325197795059509952761208749754624970436014182780946464%
24     %9629105639388743788648733711918104582578364784997701247663288%
25     %9835955735432513185323958463075557409114262417474349347553428%
26     %6465766116677973966688202912073791438537195882498081268678383%
27     %7455973174613608537953452422158659320192809087829730843139284%
28     %4403281231558611036976801357304216168747609675871348312025478%
29     %5893207671691324484262361314125087802080002616831510273418279%
30     %7770478463586817016436502415369139828126481021309276124489635%
31     %9928705114964975419909342221566832572080821333186116811553615%
32     %8365469840467089756029009505376164758477284218896796462449451%
33     %6076535340819890138544248798495995331910172335555660213945039%
34     %9736280750137837615307127761926849034352625200015888535147331%
35     %6117021039681759215109077880193931781141945452572238655414610%
36     %6289218796022383897147608850627686296714667469756291123408243%
37     %9208160153780889893964518263243671616762179168909779911903754%
38     %0312746222899880051954444142820121873617459926429565817466283%
39     %0295557029902432415318161721046583203678690611726015878352075%
40     %1516284225540265170483304226143974286933061690897968482590125%
41     %4583271682264580665267699586526822728070757813918581788896522%
42     %0816434834482599326604336766017699961283186078838615027946595%
43     %5131156552036093988180612138558600301435694527224206344631797%
44     %4605946825731037900840244324384656572450144028218852524709351%
45     %9062092902313649327349756551395872055965422874977401141334696%
46     %2715422845862377387538230483865688976461927383814900140767310%
47     %4466402598994902222217659043399018860185665264850617997023561%
48     %9389701786004081188972991831102117122984590164192106888438712%
49     %1855646124960798722908519296819372388642614839657382291123125%
50     %0241866493531439701374285319266498753372189406942814341185201%
51     %5801412334482801505139969429015348307764456909907315243327828%
52     %8269864602789864321139083506217095002597389863554277196742822%
53     %2487575867657523442202075736305694988250879689281627538488633%
54     %9690995982628095612145099487170124451646126037902930912088908%
55     %6942028510640182154399457156805941872748998094254742173582401%
56     %0636774045957417851608292301353580818400969963725242305608559%
57     %0370062427124341690900415369010593398383577793941097002775347%
58     %2000000000000000000000000000000000000000000000000000000000000%
59     %0000000000000000000000000000000000000000000000000000000000000%
60     %0000000000000000000000000000000000000000000000000000000000000%
61     %0000000000000000000000000000000000000000000000000000000000000%
62     %000000"))
63      end
64
65end -- class TEST_NUMBER75
66--
67-- ------------------------------------------------------------------------------------------------------------------------------
68-- Copyright notice below. Please read.
69--
70-- SmartEiffel is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License,
71-- as published by the Free Software Foundation; either version 2, or (at your option) any later version.
72-- SmartEiffel is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY; without even the implied warranty
73-- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have
74-- received a copy of the GNU General Public License along with SmartEiffel; see the file COPYING. If not, write to the Free
75-- Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
76--
77-- Copyright(C) 1994-2002: INRIA - LORIA (INRIA Lorraine) - ESIAL U.H.P.       - University of Nancy 1 - FRANCE
78-- Copyright(C) 2003-2006: INRIA - LORIA (INRIA Lorraine) - I.U.T. Charlemagne - University of Nancy 2 - FRANCE
79--
80-- Authors: Dominique COLNET, Philippe RIBET, Cyril ADRIAN, Vincent CROIZIER, Frederic MERIZEN
81--
82-- http://SmartEiffel.loria.fr - SmartEiffel@loria.fr
83-- ------------------------------------------------------------------------------------------------------------------------------