diff options
| author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-11-08 18:25:45 +0100 |
|---|---|---|
| committer | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-11-08 18:25:45 +0100 |
| commit | 3fdd9a903837a6750e42fd6d7ada342def63a7b3 (patch) | |
| tree | b44da5dff5d19f7b8560b7730a7c16339edb87dd /lib/Core/SeedInfo.cpp | |
| parent | e853f0bceeb7099acc3df16e52a3cfd1dabad422 (diff) | |
| download | klee-3fdd9a903837a6750e42fd6d7ada342def63a7b3.tar.gz | |
add nicer error messages for --use-merge and add explanation why it currently cannot be used with random-path
Diffstat (limited to 'lib/Core/SeedInfo.cpp')
0 files changed, 0 insertions, 0 deletions