/test/language/unclassified/wmh/aux_wmh03top.e
Specman e | 11 lines | 8 code | 3 blank | 0 comment | 0 complexity | d7a70191122e6364a8b8a5c09eef649a MD5 | raw file
1class AUX_WMH03TOP 2 3feature {ANY} 4 done1: BOOLEAN 5 6 execute 7 do 8 done1 := True 9 end 10 11end -- class AUX_WMH03TOP