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:19:53 +0100 |
| commit | 40d9c1d6296211f8127b34036509b225b491d4b8 (patch) | |
| tree | f6fb976f9dcd20a526f2d961bc37427724f8ed71 /runtime/POSIX/stubs.c | |
| parent | 65ba2c937a8534a43b27a0c0bb7e22849d6aae02 (diff) | |
| download | klee-svcomp.tar.gz | |
Change implementation of __VERIFIER_assume() so that if it's isn't svcomp
satisfiable KLEE doesn't exit with an error.
Diffstat (limited to 'runtime/POSIX/stubs.c')
0 files changed, 0 insertions, 0 deletions