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

/src/wrappers/common/test/test_natural2.e

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