/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
- class TEST_NATURAL5
- inherit
- EIFFELTEST_TOOLS
- create {ANY}
- make
- feature {ANY}
- make
- local
- n0, n1: NATURAL_8
- do
- n0.make_from_signed(5)
- n1.make_from_signed(2)
- assert((n0 / n1 - 2.5).abs < 0.0000001)
- end
- end -- class TEST_NATURAL5
- -- Copyright (C) 2009-2017: , 2013 Paolo Redaelli, 2013 Cyril Adrian
- -- This library is free software; you can redistribute it and/or
- -- modify it under the terms of the GNU Lesser General Public License
- -- as published by the Free Software Foundation; either version 2.1 of
- -- the License, or (at your option) any later version.
- --
- -- This library is distributed in the hope that it will be useful, but
- -- WITHOUT ANY WARRANTY; without even the implied warranty of
- -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
- -- Lesser General Public License for more details.
- --
- -- You should have received a copy of the GNU Lesser General Public
- -- License along with this library; if not, write to the Free Software
- -- Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
- -- 02110-1301 USA