diff options
| author | Gleb Popov <6yearold@gmail.com> | 2019-10-06 21:20:46 +0400 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-10-07 13:20:18 +0100 |
| commit | eca1ff0a116a1443d7d8dd7f2efab48de7fc4ad5 (patch) | |
| tree | e4d34b202f43e2312229b09122278750b7c0b26e /.cirrus.yml | |
| parent | 0aed7731210d0eb41c0ea767edb8067130cf6252 (diff) | |
| download | klee-eca1ff0a116a1443d7d8dd7f2efab48de7fc4ad5.tar.gz | |
Do not use klee_range() in regression/2014-09-13-debug-info.c test, as it is
incompatible with klee_prefer_cex. Fixes https://github.com/klee/klee/issues/1161 While there, remove dependence on `sort` utility, which might help porting KLEE Windows eventually.
Diffstat (limited to '.cirrus.yml')
0 files changed, 0 insertions, 0 deletions