projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b1c9169) | patch
cmake: Do not require googletest if unit tests are disabled. (#8271)
authorMathias Preiner <mathias.preiner@gmail.com>
Sat, 12 Mar 2022 03:54:49 +0000 (19:54 -0800)
committerGitHub <noreply@github.com>
Sat, 12 Mar 2022 03:54:49 +0000 (03:54 +0000)
commit23dd0647b845e27de399dd279dc3c5c9c5ed35fc
tree3202ef18c50f2ef2519f81762ffde666efc73495tree
parentb1c9169af9e0a9d853c9be058d05ac98fc11c336commit | diff
cmake: Do not require googletest if unit tests are disabled. (#8271)

Fixes #8088
test/CMakeLists.txt diff | blob | history
test/unit/CMakeLists.txt diff | blob | history