PageRenderTime 4ms CodeModel.GetById 1ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/src/wrappers/common/test/test_natural3.e

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