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. Martin
John 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" <mliska@suse.cz>:Hi. 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 for it?You can comment out any pass in the main creduce script, it has a table of all active passes. Look for @all_methodsThank you, works for me. Martin