Discussion:
KLEE: ERROR: failed external call: bsearch
(too old to reply)
허승녕
2014-06-03 06:22:01 UTC
Permalink



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

Loading...