I've double-checked, and (at least on the SVN repository version of ECJ) they do indeed print out extra statistics columns as documented. Sean On Feb 16, 2014, at 9:31 PM, Raymond Shpeley <[log in to unmask]> wrote: > On Sun, 16 Feb 2014 17:59:48 -0500, Sean Luke <[log in to unmask]> wrote: > >> Yeah, I gotta update the tutorial to reflect this. Will do. >> >> Sean >> >> On Feb 16, 2014, at 3:51 PM, Raymond Shpeley <[log in to unmask]> > wrote: >> >>> Later in the tutorial for elitism I get this, >>> >>> WARNING: >>> gather-full is deprecated. Use do-size and do-time instead. Also be > warned that >>> the table columns have been reorganized. >>> PARAMETER: stat.gather-full >>> PARAMETER: null >>> >>> -- > > Thanks. I tried stat.do-size=true and stat.do-time=true and didn't get any > extra stats. > > -- ray