diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-03-28 08:53:17 +0200 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-04-06 11:11:39 +0100 |
| commit | dd81784b0de223af32f712b1c2c28d667049be33 (patch) | |
| tree | 463ce2004aa98f760090f3f78d538cbca9ac3fc2 /tools/klee-replay/CMakeLists.txt | |
| parent | 0c95b3ec029d467be1a1b03eca125c0506877201 (diff) | |
| download | klee-dd81784b0de223af32f712b1c2c28d667049be33.tar.gz | |
test: lit, add geq/lt-llvm- configs
This is useful for testing ranges. Especially when tests are run on later LLVM versions. This code is funny as it uses 2, 3, and 4 spaces for indentation :). This is extensively used in #605. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'tools/klee-replay/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions