Hi Brent,
On Wed, Aug 4, 2010 at 11:00 AM, Brent Lim brentlim at brentlim.net wrote:
I have been trying to reproduce the bugs in Coreutils 6.10 mentioned in the
2008 OSDI paper, ?KLEE: Unassisted and Automatic Generation of High-Coverage
Tests?, but have not been successful.
I have looked
Hi, it would be indeed useful to set up a bigger regression suite which
would make sure that KLEE still finds the bugs in Coreutils. So it
would be great if anybody would offer to do this.
However, to reproduce the bugs, I would recommend trying the KLEE and
LLVM versions from the time of