test suites in zesti paper

[Super Zhang]

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

[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

Post by Super Zhang
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
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev