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

/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
 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