Select Git revision
Forked from
Per Lindgren / e7020e_2019
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