/test/language/unclassified/wmh/aux_wmh01top.e
Specman e | 11 lines | 8 code | 3 blank | 0 comment | 0 complexity | 102c84116e2419aec029bc51835d014c MD5 | raw file
1class AUX_WMH01TOP 2 3feature {ANY} 4 done1: BOOLEAN 5 6 execute_once 7 once 8 done1 := True 9 end 10 11end -- class AUX_WMH01TOP