projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ada10b) | patch
Aborting on errors in StatisticsRegistry::unregisterStat() instead of throwing except...
authorTim King <taking@cs.nyu.edu>
Tue, 6 Feb 2018 03:07:17 +0000 (19:07 -0800)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 6 Feb 2018 03:07:17 +0000 (21:07 -0600)
commit96138688bcb3aebbaa86d49471427ee4068b5994
tree8fd423c74b8707c4fd833eb64e8c92a30cb1763btree
parent4ada10b0e9b0ccd96e8bf620690e6888e617c2fbcommit | diff
Aborting on errors in StatisticsRegistry::unregisterStat() instead of throwing exceptions. This is called from destructors and therefore it is inappropraiate to throw exceptions. This solution is temporary until Assert() is deprecated in favor of an aborting version. (#1539)
src/util/statistics_registry.cpp diff | blob | history