When running a typical program (e.g., coreutils) with Klee with NO symbolics, how much slower is it than native execution? i.e., just using Klee as a straight-up LLVM bytecode interpreter. is it like 100x? 1000x? 10000x?
pg -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110601/1101b012/attachment.html
