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

- Yang