diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-11-19 19:42:27 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-19 19:42:27 +0000 |
| commit | 1eed21e1f4c374ea6d90734f4fcf32062438cc8a (patch) | |
| tree | 52218eed73e5378e36d05e3961adfb94458c28a3 /lib/Core/SeedInfo.cpp | |
| parent | 12442a55eaed122a5e10c377f6661831c824063c (diff) | |
| parent | 3fdd9a903837a6750e42fd6d7ada342def63a7b3 (diff) | |
| download | klee-1eed21e1f4c374ea6d90734f4fcf32062438cc8a.tar.gz | |
Merge pull request #492 from hoangmle/master
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