diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-28 17:00:29 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | 15240d999f8ec91538ef1c168716efd28e0f12ff (patch) | |
| tree | 9950527e99098916d76202d3742efbc2c430b512 /README.md | |
| parent | 51d66e8cba5129a457ba9ef45aa882fd18c109ac (diff) | |
| download | klee-15240d999f8ec91538ef1c168716efd28e0f12ff.tar.gz | |
[CMake][Z3] Check if function `Z3_get_error_msg` needs `context` using C++
Linking with Z3 might fail if Z3 is built with UBSan as parts of Z3 are written in C++. Check explicitly with a C++ compiler.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions