Code

Allow using local GTest#337

Code

Merged

yoni206 merged 2 commits intostanford-centaur:mainstanford-centaur/smt-switch:mainfrom CyanoKobalamyne:gtest-depCyanoKobalamyne/smt-switch:gtest-depCopy head branch name to clipboardJun 16, 2024

+45-26

Commits

Commits on Nov 11, 2023

• Allow using local GTest

  CyanoKobalamyne

  committed
  1b1a301

Commits on Jun 14, 2024

• Make system GTest optional and add version

  CyanoKobalamyne

  committed
  cedbe19