[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-dev] parallel tuning

On 2015.11.17 at 15:09 +0100, John Regehr wrote:
> >creduce -n 1 --backup ./check.sh bug244.cc  2576.49s user 300.02s system 100% cpu 47:47.16 total
> Do we want --backup turned on by default?  Eric and I were debating this.

Well, I certainly do, because it saves time when one tweaks the
interestingness test (no need to run --save-temps again).