projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a064478) | patch
Properly initialize. (#6586)
authorGereon Kremer <nafur42@gmail.com>
Thu, 20 May 2021 18:50:50 +0000 (20:50 +0200)
committerGitHub <noreply@github.com>
Thu, 20 May 2021 18:50:50 +0000 (18:50 +0000)
commitf63d4d559f4e6eacc1597808aae462acc72229b0
treea1b9013ad8767d3b8a9279105408db243473a658tree
parenta0644780130dd0ed86a9486e29aa326b3fe5d804commit | diff
Properly initialize. (#6586)

This PR fixes a missing initialization that lead to a valgrind warning.
src/prop/bvminisat/bvminisat.h diff | blob | history