[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] A reduction attempt that creduce handled poorly, where delta was able to make progress
Hi Tony, thanks for the note and the examples.
That's a pretty serious interestingness test you have there!
One thing that might be going wrong is that C-Reduce is running multiple
processes in parallel and they are cd-ing to /opt/llvm/whatever and
stomping each other. Can I ask you to re-run this reduction while
telling C-Reduce to use just one CPU?
But also I'm not sure I understand the purpose of this reduction. If
you're making an LLVM source code file smaller, compiling it, and
running it, then aren't you going to get killed by undefined behaviors
introduced by the reducer?
Merging multiple source files is non-trivial! I don't have a good way
to do that for C++. For C I use CIL: