When reporting reasons for verification being unknown and reporting cases of KLEE terminating early only count test cases once across that tasks. Before this was a little confusing because we would show 6 "paths" even though there was actually only one because the same test cases was counted across all tasks.
When reporting reasons for verification being unknown and reporting
cases of KLEE terminating early only count test cases once across
that tasks. Before this was a little confusing because we would show
6 "paths" even though there was actually only one because the same
test cases was counted across all tasks.

delcypher/klee-runner,delcypher/klee-runner