diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-10-17 15:45:29 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-10-17 15:45:29 +0100 |
| commit | 50b9e95064a8a312c365fda57ed5729cd91706ba (patch) | |
| tree | f6edd692ad4c378258824731f116c7ba90ded437 /scripts | |
| parent | 20bf195f8a4da5e2e17c59b01b11da8917ee4a8c (diff) | |
| download | klee-50b9e95064a8a312c365fda57ed5729cd91706ba.tar.gz | |
Some SV-COMP benchmarks provide an existing implementation of
``__VERIFIER_assert()`` which conflicts with ours. Remove their implementation if it is detected.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions