[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] parallel tuning
I've flipped the default back to making a backup, sorry about that!
On 11/17/15 3:15 PM, Markus Trippelsdorf wrote:
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).