Dear all,
I just added bfs-searcher to klee and make some comparisons between DFS
(which is default searcher now) and BFS. Surprisingly, the result for
branch coverage and instruction coverage of BFS are better in some cases
and equally good in almost all cases than that of DFS.
For example, in
Hello Loi,
DFS is not the default searcher for a few months now. What results do
you get with no --search argument?
Paul
On 23/04/13 12:03, Loi Luu wrote:
Dear all,
I just added bfs-searcher to klee and make some comparisons between DFS
(which is default searcher now) and BFS. Surprisingly,
Hi Loi,
There is not reason not to have BFS in KLEE, and we would be happy to
add support for this: just send your patch for review to the
klee-commits mailing list.
This was never a priority because, as Paul mentioned, KLEE has more
advanced heuristics, including one that actively favors