Make use of prefer-cex optional rather than default

Previously, default Klee would go through every byte in a test case
and attempt to bound it to be between 0 and 127, making it human
readable.  While this may be useful when attempting to understand Klee,
it also means that the time required to create large test suites was
greatly increased.  By making this behavior default off, unsuspecting
users won't incur these additional costs.

0 files changed, 0 insertions, 0 deletions