/test/language/unclassified/test_function_01.e

 1class TEST_FUNCTION_01
 2
 3insert EIFFELTEST_TOOLS
 4
 5create {}
 6   make
 7
 8feature {}
 9   make
10      do
11         verify ("Hello","Hello")
12      end
13
14   verify (v1, v2: ABSTRACT_STRING)
15      do
16         assert(v1.is_equal(v2))
17      end
18end