diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-06-23 12:17:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-23 12:17:49 +0100 |
| commit | 96c244cda990edeb435a750fdef050b95c38ac7d (patch) | |
| tree | a0f622aedf8902b18d5fc853482f0af8f3f65bea /lib/SMT | |
| parent | 83e797ab33aef2749e0f6ffb9b63877085ca4e7c (diff) | |
| parent | 26705bcd644f62419d03e5ba325235912629efba (diff) | |
| download | klee-96c244cda990edeb435a750fdef050b95c38ac7d.tar.gz | |
Merge pull request #415 from andreamattavelli/termination_info
Use klee_message for timeout information
Diffstat (limited to 'lib/SMT')
0 files changed, 0 insertions, 0 deletions