projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8b6767) | patch
Tweak the use of static_assert to support older compilers. (#4536)
authorMartin <martin.brain@cs.ox.ac.uk>
Wed, 27 May 2020 18:26:51 +0000 (19:26 +0100)
committerGitHub <noreply@github.com>
Wed, 27 May 2020 18:26:51 +0000 (11:26 -0700)
commit449cf281987eb8a2d43a572817db5c870a010c08
tree10a8dc1bdf6a0c9e9a892e21871f52518707c8c8tree
parentd8b6767e4e5285fef3cf4450b9cba04431e40727commit | diff
Tweak the use of static_assert to support older compilers. (#4536)

C++11 introduces static_assert(bool, string).
C++17 introduces static_assert(bool)

By adding a message we can support older compilers such as those
used by our nightly build system...
src/util/floatingpoint.cpp diff | blob | history