diff options
author | Julian Büning <julian.buening@rwth-aachen.de> | 2022-01-04 20:32:30 +0100 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-01-05 20:22:12 +0000 |
commit | acb90dc2d8cdf104740099a2d8773f5022194622 (patch) | |
tree | 221dced9ae763a3d2ece258b84b59eda006f1ad1 /docs/CMakeLists.txt | |
parent | 9ead1dbc2a5f450a26ff1a2536c733758b2ec578 (diff) | |
download | klee-acb90dc2d8cdf104740099a2d8773f5022194622.tar.gz |
fix CMake: use own TestMain instead of gtest_main
Before, we would use gtest_main as provided by either LLVM or Google Test itself; the TestMain.cpp was ignored (contrary to its source code comment). In newer versions of Google Test (1.8.1+), gtest_main uses `__FILE__` for its "Running main() from" line, but llvm-lit (which we use to invoke unit tests) currently matches exactly "Running main() from gtest_main.cc" for determining whether to skip this line. This results in spurious "tests" that will be shown as unresolved.
Diffstat (limited to 'docs/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions