diff options
| author | Lukas Wölfer <lukas.woelfer@rwth-aachen.de> | 2018-09-23 03:12:16 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-09-30 21:45:17 +0100 |
| commit | f05935dc16bda1748d02a71cb0278fa4ec03c12b (patch) | |
| tree | e8813785fd25f1c7c718900a8099baf31d5a3210 /lib/Basic | |
| parent | 40c1ab5c3d144cde0a513b708b6fb46f2ae1a0dd (diff) | |
| download | klee-f05935dc16bda1748d02a71cb0278fa4ec03c12b.tar.gz | |
Fix a crash when the last running state is terminated during merging
Diffstat (limited to 'lib/Basic')
0 files changed, 0 insertions, 0 deletions