ccadar/klee — pull request #20 by delcypher (2013-08-21 17:11:15+00:00)
Title: Remove unnecessary loop from SolverTest unit test.

I can't see a good reason for this loop to be here. The unit test still passes with this commit applied.