diff options
| author | Felix Rath <felix.rath@comsys.rwth-aachen.de> | 2020-05-22 15:56:54 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-10-12 11:19:24 +0100 |
| commit | c6aa4ab021669fe7102288d294662751a4d4b1e6 (patch) | |
| tree | 0802d22482be8374d47ad1e160aa9a91ad8ecb93 /scripts/build | |
| parent | c09306ffd894f95be195723327d5b17dca73ebd1 (diff) | |
| download | klee-c6aa4ab021669fe7102288d294662751a4d4b1e6.tar.gz | |
use isa<> and explicit nullptr-check for compilation with older LLVM versions, also mark two errors as ExecErrors, as these should not be caused by users
Diffstat (limited to 'scripts/build')
0 files changed, 0 insertions, 0 deletions