diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2023-05-29 18:16:52 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-05 17:04:19 +0100 |
| commit | 5eca7f3cd6c6113f010737016da90454dd1a7602 (patch) | |
| tree | a08405c540b0aa9a74405d783e3b5e4e36ae2a44 /lib/Core/PTree.h | |
| parent | 58fb505496b0bae75a300f618cd6e7279a460e95 (diff) | |
| download | klee-5eca7f3cd6c6113f010737016da90454dd1a7602.tar.gz | |
CMake: use check_c_source_compiles() for FSTATAT_PATH_ACCEPTS_NULL
is a bit more convenient and avoids an extra file
Diffstat (limited to 'lib/Core/PTree.h')
0 files changed, 0 insertions, 0 deletions