diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-10-21 16:18:17 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-10-21 16:18:17 +0100 |
| commit | 7169f935ee485501ea687e14b4e46b0298d58b27 (patch) | |
| tree | be5e41c334cccec185063da2dc2132afc6af91a0 /lib/Solver/ConstantDivision.cpp | |
| parent | 2f9b4c233bbb49c17c506dd424801068cb8003df (diff) | |
| download | klee-svcomp_32bit.tar.gz | |
Change implementation of __VERIFIER_assume() so that if it's isn't svcomp_32bit
satisfiable KLEE doesn't exit with an error.
Diffstat (limited to 'lib/Solver/ConstantDivision.cpp')
0 files changed, 0 insertions, 0 deletions