| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-07-09 | Fix variable shifting behavior with different sizes | Martin Nowack | |
| Generated STP equality expressions have to be the same type. If a shift with different types as operands was used, therefore equality expressions of different width were generated. Beside avoiding the different sizes, this patch restores the original behavior to extract just the part involved in shifting and therefore should generate smaller expressions. Enable sdiv test case | |||
| 2016-04-14 | This test passes under 2.9, so it cannot be used as an XFAIL. We can enable ↵ | Cristian Cadar | |
| it after the division bug is fixed. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |