[klee-dev] EasyKLEE

[Owl owl]

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
-------------- next part --------------
HTML attachment scrubbed and removed