[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] multifile creduce
On 2015-10-20 14:03, Yang Chen wrote:
On 2015-10-20 14:00, John Regehr wrote:
Got it, thanks. But I think Johan indicated that we should take
Moritz's patch instead! That patch has the advantage of not modifying
the C-Reduce core at all.
Yes, I am working on that. I will commit code later today, which
combines Moritz's patch with Johan's code.
One more thing to add - Johan sent us two patches. One is similar to
what Moritz's patch does. I am going to combine these two.
Johan's other patch is for including search files.