PageRenderTime 6ms CodeModel.GetById 2ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/src/wrappers/common/test/test_natural5.e

http://github.com/tybor/Liberty
Specman e | 37 lines | 15 code | 7 blank | 15 comment | 0 complexity | 9513c9386c3572451728e74de1336da8 MD5 | raw file
 1class TEST_NATURAL5
 2
 3inherit
 4   EIFFELTEST_TOOLS
 5
 6create {ANY}
 7   make
 8
 9feature {ANY}
10   make
11      local
12         n0, n1: NATURAL_8
13      do
14         n0.make_from_signed(5)
15         n1.make_from_signed(2)
16         assert((n0 / n1 - 2.5).abs < 0.0000001)
17      end
18
19end -- class TEST_NATURAL5
20
21-- Copyright (C) 2009-2017: , 2013 Paolo Redaelli, 2013 Cyril Adrian
22
23-- This library is free software; you can redistribute it and/or
24-- modify it under the terms of the GNU Lesser General Public License
25-- as published by the Free Software Foundation; either version 2.1 of
26-- the License, or (at your option) any later version.
27--
28-- This library is distributed in the hope that it will be useful, but
29-- WITHOUT ANY WARRANTY; without even the implied warranty of
30-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
31-- Lesser General Public License for more details.
32--
33-- You should have received a copy of the GNU Lesser General Public
34-- License along with this library; if not, write to the Free Software
35-- Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
36-- 02110-1301 USA
37