Hi all, How can I tell KLEE's build system to use clang instead of llvm-gcc when compiling runtime models?
Thanks, Raimondas -- Raimondas Sasnauskas, PhD Student Distributed Systems Group RWTH Aachen University http://ds.cs.rwth-aachen.de/members/sasnauskas -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 4409 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20091201/ca4ff4c3/attachment.bin
