/src/wrappers/common/test/test_natural2.e
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