ccadar/klee — pull request #43 by hpalikareva (2013-10-15 13:56:58+00:00)
Title: Fixed nondeterministic behaviour in test case ./test/Solver/LargeInteger...

...s.pc -- only 16 bytes of array a were initialised in Query 2, but values of 17 bytes were later required for comparison.