diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-08-09 15:15:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-09 15:15:31 +0100 |
| commit | 64c67386a3c5eb4baa23847d737fd812312117f9 (patch) | |
| tree | 3bed8782c2f634eaf0d2b53cdfe3ce8db34f5c3e /runtime | |
| parent | fff6485e2f3ec82b6cb31e1f5038adef09be7eed (diff) | |
| parent | 966c8102a7b851f5199ea6ff4d83ea1472913a7f (diff) | |
| download | klee-64c67386a3c5eb4baa23847d737fd812312117f9.tar.gz | |
Merge pull request #742 from ccadar/fold
Added checks for div/mod by zero and overshifts in constant expressio…
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions