Hey, Wanted to give people a heads up that I've started a project to simplify the install process for KLEE.
https://github.com/Owlz/EasyKLEE At the moment, I've only gotten support for Ubuntu 15.04 x64, but am planning on adding other versions too. It builds out KLEE 3.4 with LLVM 3.4 and associated dependencies. On my VM at home, this takes about 10-15 minutes to complete the install. ~ Owl
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
