diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2020-02-08 18:36:35 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-03-02 16:03:53 +0000 |
| commit | 0fd6ee46a9998fa894eaf5bcd2cc779ea8d7216e (patch) | |
| tree | 8714b2d7923452b45d4c12bce8622720c400776f /cmake | |
| parent | 3cf8c8ba74f6d17fc07c1ed86b9c86ed6489217c (diff) | |
| download | klee-0fd6ee46a9998fa894eaf5bcd2cc779ea8d7216e.tar.gz | |
fix lit.cfg: numerical comparison of LLVM version numbers
Diffstat (limited to 'cmake')
0 files changed, 0 insertions, 0 deletions