markhakansson / klee-rs Goto Github PK

Hi there,

Thanks for providing this convenient crate. However, I got the undefined reference issue when trying to compile a simple Rust program with this crate. Of course this is expected since this crate only provided the extern declaration of the KLEE functions. I am wondering what other arguments or environment setup is missing (like link KLEE library kleeRuntest) ?