klee/klee — pull request #114 by antiAgainst (2014-04-20 22:25:39+00:00)
Title: stop after not covering new code in specified time

This patch adds a new stop control criterion: stop after not covering new instructions in a certain amount of time.

I added a new `struct` to track the covered/uncovered information for each instruction. Not sure whether this is efficient or not. Please suggest if there are better ways to do this.