projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4cd199a) | patch
Fix solver_black unit test (#7233)
authorOuyancheng <1024842937@qq.com>
Wed, 22 Sep 2021 19:52:44 +0000 (12:52 -0700)
committerGitHub <noreply@github.com>
Wed, 22 Sep 2021 19:52:44 +0000 (19:52 +0000)
commitf9fd2f7a1e37540c0ac6a9ef33f9da91f69a8368
tree353cb7044930ef9e6aaaa638ed0027ab6ba079c3tree
parent4cd199a554bd6a5247ab8143e1a3fb2d7eff88f3commit | diff
Fix solver_black unit test (#7233)

In file `test/unit/api/solver_black.cpp` line 1499,
`for (const std::pair<Term, Term>& t : dmap)` is not the correct way of iterating through the element pairs,
it should be `for (const std::pair<const Term, Term>& t : dmap)` as the keys are immutable.
This triggers a warning on LLVM clang 12.0.1 (not AppleClang) on macOS.
test/unit/api/solver_black.cpp diff | blob | history