Implement simple wrapper around the klee-afr `bc-stats` tool to gather simple statistics on a set of benchmark described in an invocation info file.
Implement simple wrapper around the klee-afr `bc-stats` tool to gather
simple statistics on a set of benchmark described in an invocation info
file.

delcypher/klee-runner,delcypher/klee-runner