projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b8fa31) | patch
cmake: Disable W-suggest-override for unit tests.
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 17 Aug 2018 23:57:20 +0000 (16:57 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commit67b04a7cb5dd7efd72065e4aad7700b6714400fb
treeb0dfd9c48e044d686ef41e4d968ec96c5d22529etree
parent6b8fa31e4ab33004308df0716c4e3d1cecd2ae55commit | diff
cmake: Disable W-suggest-override for unit tests.
CMakeLists.txt diff | blob | history
test/unit/CMakeLists.txt diff | blob | history