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/trust_node.h | |
| 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/trust_node.h')
0 files changed, 0 insertions, 0 deletions