> Great to hear that, looks like that KLEE will be ported to LLVM-3.2 too?
We're actually targeting LLVM 3.3. There's still quite a lot of work to do so any help would be appreciated. Thanks, Dan.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
