Skip to content
Snippets Groups Projects
Select Git revision
  • 1015fe95641509184c94b577b9b4d0ab217b841a
  • master default
2 results

info

Blame
    • Forked from Per Lindgren / klee_tutorial
    Source project has a limited visibility.
    info 633 B 
    klee get_sign.bc
PID: 31615
Using monotonic steady clock with 1/1000000000s resolution
Started: 2020-12-07 17:08:04
BEGIN searcher description
<InterleavedSearcher> containing 2 searchers:
RandomPathSearcher
WeightedRandomSearcher::CoveringNew
</InterleavedSearcher>
END searcher description
Finished: 2020-12-07 17:08:04
Elapsed: 00:00:00
KLEE: done: explored paths = 3
KLEE: done: avg. constructs per query = 11
KLEE: done: total queries = 3
KLEE: done: valid queries = 0
KLEE: done: invalid queries = 3
KLEE: done: query cex = 3

KLEE: done: total instructions = 31
KLEE: done: completed paths = 3
KLEE: done: generated tests = 3