/test/language/unclassified/wmh/test_wmh01.e

 1class TEST_WMH01
 2   -- From a bug report of "Wai Ming, HO" <waimingh@irisa.fr>
 3
 4insert
 5   EIFFELTEST_TOOLS
 6
 7create {}
 8   make
 9
10feature {}
11   make
12      local
13         t: AUX_WMH01TOP; b: AUX_WMH01BOTTOM
14      do
15         create t
16         t.execute_once
17         assert(t.done1)
18
19         create b
20         b.execute_once
21         assert(not b.done1)
22         assert(b.done2)
23      end
24
25end -- class TEST_WMH01