about summary refs log tree commit diff homepage
path: root/configure
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2016-11-29 10:53:17 +0000
committerDan Liew <delcypher@gmail.com>2017-06-01 11:36:09 +0100
commit11fd589bb7c0c075dc9c5cb1e7a0eecd9eb94ef1 (patch)
tree86c85d82d3345ebf939d197b32e4eb8861dfbaea /configure
parent4498d8c08511afa201cdedc9bb9b2fdfadab8384 (diff)
downloadklee-11fd589bb7c0c075dc9c5cb1e7a0eecd9eb94ef1.tar.gz
[Z3] Add assertions in Z3 builder to catch underflow with bad widths.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions