klee --optimize --libc=uclibc test.bc
PID: 7362
Started: 2013-05-04 10:37:27
BEGIN searcher description
<InterleavedSearcher> containing 2 searchers:
RandomPathSearcher
WeightedRandomSearcher::CoveringNew
</InterleavedSearcher>
END searcher description
Finished: 2013-05-04 10:37:27
Elapsed: 00:00:00
KLEE: done: explored paths = 1
KLEE: done: total queries = 0
KLEE: done: valid queries = 0
KLEE: done: invalid queries = 0
KLEE: done: query cex = 0

KLEE: done: total instructions = 4035
KLEE: done: completed paths = 1
KLEE: done: generated tests = 1