projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c32f952) | patch
Protect int stats methods (#6442)
authorGereon Kremer <gkremer@stanford.edu>
Mon, 26 Apr 2021 20:16:27 +0000 (22:16 +0200)
committerGitHub <noreply@github.com>
Mon, 26 Apr 2021 20:16:27 +0000 (20:16 +0000)
commite9362389e834d97ad2ef2a9c02d6c1fb57239524
tree4f7249d1bb4f1ba3d2155233b5ae387cef756d3ctree
parentc32f952b1e496a5bd05552f676d51b5af3e49ed0commit | diff
Protect int stats methods (#6442)

This PR protects two methods of the IntStat class in case statistics are disabled.
src/util/statistics_stats.cpp diff | blob | history