[klee-dev] 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  
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 1401776098576.png
Type: image/png
Size: 319196 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20140603/477c7583/attachment.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 1401776121042.png
Type: image/png
Size: 224436 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20140603/477c7583/attachment-0001.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 1401776127507.png
Type: image/png
Size: 157731 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20140603/477c7583/attachment-0002.png>