diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2015-08-09 12:14:39 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2015-09-22 22:37:55 +0200 |
| commit | a801ac5dfef0533c3fc00a7dbfb630eccb0b8f30 (patch) | |
| tree | c591187a2af65ec9182d7d1bbf678daaccc37143 /examples/sort | |
| parent | e8fded10ccdaea3d9d72d178506d6aebb799394e (diff) | |
| download | klee-a801ac5dfef0533c3fc00a7dbfb630eccb0b8f30.tar.gz | |
[STPBuilder] Generate SRrem expressions correctly
The '%' operater in C is not Gauss Modulo but remainder operations. Using a negative number as right operand can result in a negative number. Fix appropriate SRem building Note: MetaSMTlib implementation doesn't have that bug.
Diffstat (limited to 'examples/sort')
0 files changed, 0 insertions, 0 deletions