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

Re: [creduce-dev] reduction using dynamic information



Yang, excellent, thanks!

extra work is actually quite important. Without it, it's almost certain
that we would end up repeatedly rewriting the first occurrence of
"!__creudce_printed_1", because "--counter=1" would always result in
valid transformation.

Nice, I didn't think of that.

I'm leaving for a trip tomorrow morning but will have some time to work while away, and will let you know how this goes!

John