diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-07-06 22:20:42 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-07-06 22:20:42 +0100 |
| commit | e6ade1cd2a8a253d871dc2fd1e0e7e463160dbe1 (patch) | |
| tree | 9005402efcc165640cd68032c6826a10c73b6bee /runtime/POSIX/klee_init_env.c | |
| parent | 637e884bb0ad4ead31d61583f47db475f5ec1ab7 (diff) | |
| parent | fbc91551abcc3806a08bb30462bb621ad6ea2863 (diff) | |
| download | klee-e6ade1cd2a8a253d871dc2fd1e0e7e463160dbe1.tar.gz | |
Merge pull request #250 from holycrap872/DefaultOffCexSuperSet
Added an option for the super-set check in CexCachingSolver -- off by default
Diffstat (limited to 'runtime/POSIX/klee_init_env.c')
0 files changed, 0 insertions, 0 deletions