/test/language/unclassified/wmh/test_wmh03.e
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