Hi Philip,
Thanks a lot for the CDE package, it's really helpful. I just added
your instructions to the Getting Started webpage.
Best,
Cristian
On 26/05/2011 00:42, Philip Guo wrote:
With the help of Cristian, I've put together an improved version of the
Klee package:
perhaps it's wortwhile to run the actual osdi code and package it up so
other people can replicate?
On Thu, 26 May 2011, Cristian Cadar wrote:
Hi Philip,
Thanks a lot for the CDE package, it's really helpful. I just added
your instructions to the Getting Started webpage.
Best,
Cristian
i'm happy to create a package if someone can give me ssh access to a machine
that has klee setup to run the osdi experiments :) in theory, it should be
as easy as figuring out which klee svn version and coreutils version was
used for the experiments, right? but i'm sure reality is less ideal.
With the help of Cristian, I've put together an improved version of the Klee
package:
http://keeda.stanford.edu/~pgbovine/klee-cde-package.v2.tar.bz2 (200MB)
Now you're able to run the Klee regression tests AND also replicate the
world-famous coreutils case study from: