search

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Other
103 stars 40 forks source link

Update boolector to most recent version (3.2.3 plus extra) #344

Closed CyanoKobalamyne closed 7 months ago

CyanoKobalamyne commented 7 months ago

This resolves the GTest errors uncovered in #343 by pulling in https://github.com/Boolector/boolector/commit/05a38915d642a3f296ff041230a6945d703a268a. That commit updates the GTest version used by Boolector from 1.10.0 to 1.12.1, which includes the fix.