test_function_01.e | searchcode

/test/language/unclassified/test_function_01.e

http://github.com/tybor/Liberty · Specman e · 18 lines · 14 code · 4 blank · 0 comment · 0 complexity · 948547bf17fde8425694bfa8847038f9 MD5 · raw file


class TEST_FUNCTION_01

insert EIFFELTEST_TOOLS

create {}
   make

feature {}
   make
      do
         verify ("Hello","Hello")
      end

   verify (v1, v2: ABSTRACT_STRING)
      do
         assert(v1.is_equal(v2))
      end
end