diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2023-04-02 13:55:39 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-06-07 18:01:43 +0100 |
| commit | 43414c9eaebbe47c9bd59338b8a1cd574feb37bc (patch) | |
| tree | ab101a2624415b3f81a1935be92666853d0366fe /tools | |
| parent | ae1ee275c2268397fb843c4f9a7a04ce8030d1f0 (diff) | |
| download | klee-43414c9eaebbe47c9bd59338b8a1cd574feb37bc.tar.gz | |
unittests/CMakeLists.txt: remove obsolete policy
Checking for policy CMP0077 is obsolete as we now require CMake 3.16.0 as minimum version.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions