Update directive forcing old C++ standard

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

http://boolector.github.io

Other

324 stars 63 forks source link

Update directive forcing old C++ standard #217

Closed CyanoKobalamyne closed 4 months ago

CyanoKobalamyne commented 7 months ago

The -std=gnu++11 flag set in CMakeLists.txtx causes errors when testing is enabled and the system has a newer version of GTest installed. The minimum required standard since GTest 1.13.0 (released Jan. 2023) is C++14.