ccadar/klee — pull request #104 by MartinNowack (2014-02-16 21:08:46+00:00)
Title: Llvm 34

Support for LLVM 3.4 - current stable version