diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-02-10 13:29:11 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-02-10 13:29:11 +0000 |
| commit | a743d7072d9ccf11f96e3df45f25ad07da6ad9d6 (patch) | |
| tree | 19e77dd4a3eb6bc4102eb59a136ead47b537c372 /configure | |
| parent | ad4f23ac1b1faa561d199b27e041e1a1afa3adcb (diff) | |
| download | klee-a743d7072d9ccf11f96e3df45f25ad07da6ad9d6.tar.gz | |
Merged @luckyluke's change for detecting overflow of unsigned add, sub
and mul operations. Refactored tests into two main cases, and disabled them on LLVM 2.9, which does not support -fsanitized=*signed-integer-overflow.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions