I've double-checked, and (at least on the SVN repository version of ECJ) they do indeed print out extra statistics columns as documented.
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.
>> On Feb 16, 2014, at 3:51 PM, Raymond Shpeley <[log in to unmask]>
>>> Later in the tutorial for elitism I get this,
>>> 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