[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).