projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16f9b12) | patch
Update to GoogleTest 1.11.0 (#8813)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 31 May 2022 15:47:36 +0000 (18:47 +0300)
committerGitHub <noreply@github.com>
Tue, 31 May 2022 15:47:36 +0000 (08:47 -0700)
commitb65f32ad5d58fd76fd58b7a10b879c1eeb140b30
treed2960c121b3f4b43185539a4c9aaab88eb44be65tree
parent16f9b1248cd1d3cc39a7420bda57fd888a709c77commit | diff
Update to GoogleTest 1.11.0 (#8813)

Using GoogleTest 1.10.0, when trying to build unit tests on m1 mac an error about deprecated methods fails the compilation of gtest.
cmake/FindGTest.cmake diff | blob | history