diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-02-13 18:20:30 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-02-13 18:49:35 +0000 |
| commit | d026e99496355647665af965e27d8baf244e62d3 (patch) | |
| tree | 63c6d60e7c70e0a3148f34216b0877fb36448e7b /TODO.txt | |
| parent | a743d7072d9ccf11f96e3df45f25ad07da6ad9d6 (diff) | |
| download | klee-d026e99496355647665af965e27d8baf244e62d3.tar.gz | |
Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"
Will redo the merge to preserve original commits. This reverts commit a743d7072d9ccf11f96e3df45f25ad07da6ad9d6.
Diffstat (limited to 'TODO.txt')
0 files changed, 0 insertions, 0 deletions