[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] creduce - ignore a pass
On 5/7/19 3:16 PM, John Regehr wrote:
Great, yes, that's definitely the quick way to make this happen.
I can add a command-line option for skipping passes but I won't be able to do that this week.
I would definitely appreciate such a feature for the future.
On 5/7/19 6:48 AM, Martin Liška wrote:
On 5/7/19 2:31 PM, Konstantin Tokarev wrote:
07.05.2019, 15:27, "Martin Liška" <email@example.com>:
Sometimes I see it handy to skip rename pass. Is there any
option I can use? If not, can anybody help me how to write a patch
You can comment out any pass in the main creduce script, it has a table of
all active passes. Look for @all_methods
Thank you, works for me.