diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-09-15 13:07:10 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-09-15 13:09:59 +0100 |
| commit | 3200fe7b15a89619ee0cf9a31841ef9737c38950 (patch) | |
| tree | 08ec1c2428679e41de17bcac0f133f79a121bec5 /unittests/Ref | |
| parent | c9778f9278ee0d0ccb845843a35edf66c3fcb2ac (diff) | |
| download | klee-3200fe7b15a89619ee0cf9a31841ef9737c38950.tar.gz | |
Rename `-debug-cross-check-core-solver` option to
`-debug-crosscheck-core-solver` as requested by Cristian
Diffstat (limited to 'unittests/Ref')
0 files changed, 0 insertions, 0 deletions