/test/language/unclassified/wmh/test_wmh01.e
Specman e | 25 lines | 19 code | 5 blank | 1 comment | 0 complexity | a7f624716dd4dbc0f248b4e85d5ae509 MD5 | raw file
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