klee/klee — pull request #182 by hpalikareva (2014-12-03 11:22:55+00:00)
Title: Fixed test /Feature/PreferCex.c: Z3 instantiates different value for unc...

...onstrained buf[3]