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