diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-06-06 21:37:23 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-06-06 21:37:23 +0000 |
commit | e64686fed86068e977ac84c5776438935f446f00 (patch) | |
tree | 455592297e26e3ac84a8027db0e70e74dc3ecdc7 /src/util/stats.cpp | |
parent | daa163e694d257ffe8ba7ae8ccb240bcbfb1c276 (diff) |
Fix for Mac OS breakage (x86 didn't crash, but probably would, eventually, on some problems---valgrind gave many complaints): the problem was that calloc() (in the Backtracker) wasn't allocating enough space for the type located at the resulting address. Resolves bug #263.
Also, some debugging improvements.
Diffstat (limited to 'src/util/stats.cpp')
-rw-r--r-- | src/util/stats.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/util/stats.cpp b/src/util/stats.cpp index 428f051e0..70d486ff6 100644 --- a/src/util/stats.cpp +++ b/src/util/stats.cpp @@ -32,7 +32,8 @@ StatisticsRegistry* StatisticsRegistry::current() { void StatisticsRegistry::registerStat(Stat* s) throw(AssertionException) { #ifdef CVC4_STATISTICS_ON StatSet& registeredStats = NodeManager::currentNM()->getStatisticsRegistry()->d_registeredStats; - AlwaysAssert(registeredStats.find(s) == registeredStats.end()); + AlwaysAssert(registeredStats.find(s) == registeredStats.end(), + "Statistic `%s' was already registered with this registry.", s->getName().c_str()); registeredStats.insert(s); #endif /* CVC4_STATISTICS_ON */ }/* StatisticsRegistry::registerStat() */ @@ -40,7 +41,8 @@ void StatisticsRegistry::registerStat(Stat* s) throw(AssertionException) { void StatisticsRegistry::unregisterStat(Stat* s) throw(AssertionException) { #ifdef CVC4_STATISTICS_ON StatSet& registeredStats = NodeManager::currentNM()->getStatisticsRegistry()->d_registeredStats; - AlwaysAssert(registeredStats.find(s) != registeredStats.end()); + AlwaysAssert(registeredStats.find(s) != registeredStats.end(), + "Statistic `%s' was not registered with this registry.", s->getName().c_str()); registeredStats.erase(s); #endif /* CVC4_STATISTICS_ON */ }/* StatisticsRegistry::unregisterStat() */ |