Cristian
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
I recently added at http://klee.llvm.org/developers-guide.html a
developer's guide written by Dan Liew (thanks, Dan!). It currently only
discusses the build process and the testing infrastructure (and a couple
of misc items), so it would be great if other people would like to
expand it.
