Hi all,To make it easier for people who try to reproduce our OSDI'08 experiments, I have decided to put together a web page with some additional details:
http://klee.llvm.org/CoreutilsExperiments.html
Best, Cristian _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev