projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5ac06a) | patch
Make sure reference stats are reset properly (#6457)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 28 Apr 2021 18:01:15 +0000 (20:01 +0200)
committerGitHub <noreply@github.com>
Wed, 28 Apr 2021 18:01:15 +0000 (18:01 +0000)
commit0683b708c4752c1d0e894f19e8011a256ef6df7e
tree2f832d72c3b7b83519bf030a692bc0b91278b2d6tree
parentb5ac06abf4b2cc6b027dedd045595187589bcc35commit | diff
Make sure reference stats are reset properly (#6457)

This PR adds a reset() method to the ReferenceStat class. It then uses it to properly reset such statistics in the minisat solvers where lifetime is an issue.
src/prop/bvminisat/bvminisat.cpp diff | blob | history
src/prop/bvminisat/bvminisat.h diff | blob | history
src/prop/minisat/minisat.cpp diff | blob | history
src/prop/minisat/minisat.h diff | blob | history
src/util/statistics_stats.h diff | blob | history