klee/klee — pull request #129 by ahorn (2014-05-12 14:23:04+00:00)
Title: Add SimplifyExpressions command line option

Allow users to bypass ConstraintManager::simplifyExpr(ref). This is helpful to experimentally measure the effects of expression simplifications.