projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0b9fe94) | patch
Fix -Werror issues with clang and use clang for debug-cln build. (#6004)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 26 Feb 2021 20:48:33 +0000 (12:48 -0800)
committerGitHub <noreply@github.com>
Fri, 26 Feb 2021 20:48:33 +0000 (12:48 -0800)
commitf2adf69b7c364b45f75c3b5027d8a24213fd4001
tree041ed83754893e9d465d0b38f6c7b5af2e4a77eetree
parent0b9fe94d346b7448a0e092cc9f43013aadfe9548commit | diff
Fix -Werror issues with clang and use clang for debug-cln build. (#6004)

This fixes some issues that break the nightly ASAN builds with clang.
.github/workflows/ci.yml diff | blob | history
test/unit/CMakeLists.txt diff | blob | history
test/unit/theory/theory_white.h diff | blob | history