| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-04-15 | Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshift | Dan Liew | |
| always goes to zero (matches LLVM's APInt::ashr(...)). This is meant to partially address issue #218. There are a few problems with this commit * It is possible for AShrExpr to not be abbreviated because the scan methods will not see that we print the 0th child of the AShrExpr twice * The added test case should really be run through an SMT solver ( i.e. STP) but that requires infrastructure changes. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |