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.

Cristian

_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to