diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-29 10:53:17 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-06-01 11:36:09 +0100 |
| commit | 11fd589bb7c0c075dc9c5cb1e7a0eecd9eb94ef1 (patch) | |
| tree | 86c85d82d3345ebf939d197b32e4eb8861dfbaea /MetaSMT.mk | |
| parent | 4498d8c08511afa201cdedc9bb9b2fdfadab8384 (diff) | |
| download | klee-11fd589bb7c0c075dc9c5cb1e7a0eecd9eb94ef1.tar.gz | |
[Z3] Add assertions in Z3 builder to catch underflow with bad widths.
Diffstat (limited to 'MetaSMT.mk')
0 files changed, 0 insertions, 0 deletions