KLEE: ERROR: failed external call: bsearch

[허승녕]




I'm trying to explore how to use klee. When I run klee on a small program I got the following error messages.I want a solution
Ubuntu 12.04.4 64 bit