diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-30 00:24:46 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-29 22:24:46 +0000 |
commit | ef31c2518c194029a913fe2872e2040d2f5e4294 (patch) | |
tree | 216abc5f72110d34d99fd345566fee9bc36ce736 /src/theory/quantifiers/quantifiers_modules.cpp | |
parent | 96ac1d2a5d1f25eaa1b0b265bb21d1a8b3c3d872 (diff) |
Add external project to install gtest (#6229)
This PR enables us to build gtest ourselves if it is not already installed.
Diffstat (limited to 'src/theory/quantifiers/quantifiers_modules.cpp')
0 files changed, 0 insertions, 0 deletions