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 <[email protected]> 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 > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
