Fixed test /Feature/PreferCex.c: Z3 instantiates different value for unconstrained buf[3]
Merge pull request #182 from hpalikareva/fix-test-prefer-cex

Fixed test /Feature/PreferCex.c: Z3 instantiates different value for unc...