Hi Klee Dev, We have just upgraded to llvm-2.8, and have built llvm with Debug+Asserts.
However, when attempting to run an object file through klee, this error comes up: ** klee: error: Cannot find linker input '/home/sawaya/gklee/Gklee/Debug/ ** It is a mystery to me why it is looking in Debug and not Debug+Asserts. There is no Debug, and the klee executable is fresh. Is there some way to set the lib search path, other than forcing it with a switch in the compilation? Thanks for a great tool. Geof _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
