diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-03-22 10:37:11 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-22 19:53:20 +0000 |
| commit | 3a0e434dc9d4053d75e9c0bbe6faa6dfb46717ae (patch) | |
| tree | fe4e7f2111288bb14156c704af88b616a11375b3 /test | |
| parent | 8dcd69dda61c58e9fb5bc392c9e5f787fee0a5b6 (diff) | |
| download | klee-3a0e434dc9d4053d75e9c0bbe6faa6dfb46717ae.tar.gz | |
Require minimal version of CMake 3.16 for KLEE
This is the default version for Ubuntu 20.04 and should be available for most distributions. Moreover this should allow to move STP forward with their changes. (https://github.com/stp/stp/issues/375#issuecomment-889178863)
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions