[klee-dev] test suites in zesti paper

[Paul Marinescu]

For libdwarf the regression tests are at git://libdwarf.git.sourceforge.net/gitroot/libdwarf/regressiontests (we used rev a5fbd6a785d018d1373ecef18ce2b259fd0011f5)

For readelf, they're included in the binutils distribution (see https://www.gnu.org/software/binutils/).

Best,
Paul

On 6 Sep 2013, at 07:39, Super Zhang <chaoqiang.zhang at gmail.com> wrote:

> Hi Paul,
> 
> I am using your zesti tool to check some C programs. Some subjects I am going to try
> are readelf and libdwarf. I am wondering which repository you used to download the existing test cases. I tried, but didn't find them.
> 
> Thanks,
> Chaoqiang
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
HTML attachment scrubbed and removed