diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-11 14:24:34 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-11 14:24:34 +0000 |
| commit | 9eddbdbddb0e21523dbbec5d21e64b79abcffb5c (patch) | |
| tree | 0aad9ca9505e0ff01ea4bce103379c85e7f9d2a8 /lib/Core/MemoryManager.h | |
| parent | ee5a905cda1af731c3994e63f140c654c5dc7c2c (diff) | |
| download | klee-9eddbdbddb0e21523dbbec5d21e64b79abcffb5c.tar.gz | |
Change SilentKleeAssume.c test slightly so that
``--silent-klee-assume=0`` is no longer passed. This ensures that we also check that ``--silent-klee-assume`` is off by default.
Diffstat (limited to 'lib/Core/MemoryManager.h')
0 files changed, 0 insertions, 0 deletions