diff options
| author | lyxia <lysxia@gmail.com> | 2018-03-25 10:18:39 -0400 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-05-01 21:23:45 +0200 |
| commit | 37321de9d86ff45049eec83a069a10d4836b06f0 (patch) | |
| tree | 749395a5ec1d94f6a5d126c22627582664514646 /.travis/stp.sh | |
| parent | 76e4240f6e17ab1f17200c603cf827b2bb28458d (diff) | |
| download | klee-37321de9d86ff45049eec83a069a10d4836b06f0.tar.gz | |
Implement klee_prefer_cex() and klee_abort() in Runtest and added corresponding tests
Diffstat (limited to '.travis/stp.sh')
0 files changed, 0 insertions, 0 deletions