diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-07-29 16:13:26 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-10-24 14:15:25 +0300 |
| commit | e70783b86bf3427bccd3d0b8cec858b888b8c887 (patch) | |
| tree | 116f8b152f9fa074cd5815c6f1d4e1bdc2110221 /include | |
| parent | cdff297692a1edbf9159d1c998648c6e609025ef (diff) | |
| download | klee-e70783b86bf3427bccd3d0b8cec858b888b8c887.tar.gz | |
DivCheck Skip unneeded checks
Do not instrument divisions which do have a constant non-zero value.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions