diff options
| author | Daniel Schemmel <daniel.schemmel@comsys.rwth-aachen.de> | 2018-05-20 16:03:51 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-05-24 14:53:51 +0100 |
| commit | 843e9be8fc10c6ffb30218c5a826aab192a31955 (patch) | |
| tree | f603f5d97c2e8c394008f7ab9270fd08d0ff3063 /lib/Solver | |
| parent | 79ff6c386cde0776b394283b0003ebcb840b19dd (diff) | |
| download | klee-843e9be8fc10c6ffb30218c5a826aab192a31955.tar.gz | |
isLSB should be a boolean, as it is only used in truth contexts
Diffstat (limited to 'lib/Solver')
0 files changed, 0 insertions, 0 deletions