test_wmh02.e | searchcode

/test/language/unclassified/wmh/test_wmh02.e

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

 1class TEST_WMH02
 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_WMH01TOP; b: AUX_WMH01BOTTOM
11      do
12         create t
13         t.execute_once
14         create b
15         b.execute_once
16      end
17
18end -- class TEST_WMH02