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

/src/wrappers/common/test/test_natural4.e

http://github.com/tybor/Liberty
Specman e | 38 lines | 15 code | 8 blank | 15 comment | 0 complexity | 1fa261ba8021318398c2964202509453 MD5 | raw file
 1class TEST_NATURAL4
 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(4)
15         n1 := {NATURAL_8 4, << 0 >> }
16
17         assert(n0 = n1)
18      end
19
20end -- class TEST_NATURAL4
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