test_wmh03.e | searchcode

/test/language/unclassified/wmh/test_wmh03.e

http://github.com/tybor/Liberty
Specman e | 18 lines | 14 code | 3 blank | 1 comment | 0 complexity | db2a00af53e7f468f862e220a32a2fd1 MD5 | raw file

 1class TEST_WMH03
 2   -- From a bug report of "Wai Ming, HO" <waimingh@irisa.fr>
 3
 4create {}
 5   make
 6
 7feature {}
 8   make
 9      local
10         t: AUX_WMH03TOP; b: AUX_WMH03BOTTOM
11      do
12         create t
13         t.execute
14         create b
15         b.execute
16      end
17
18end -- class TEST_WMH03