diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2015-08-30 01:47:20 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2015-08-30 02:14:13 +0200 |
| commit | 5c211bf969a6ae6b549d0a53daf4c99870c82210 (patch) | |
| tree | 597349e681730705368f96f4124f95b109956e35 /examples | |
| parent | 8f6c2fd67c34a9725f79652fb6bcb24f42b0f432 (diff) | |
| download | klee-5c211bf969a6ae6b549d0a53daf4c99870c82210.tar.gz | |
Fix signed division by constant 1/ -1
Division by constant divisor get optimized using shift and multiplication operations in STP builder. The used method cannot be applied for divisor 1 and -1. In that case use slow path.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions