diff options
Diffstat (limited to 'src/theory/theory.cpp')
| -rw-r--r-- | src/theory/theory.cpp | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp index 78a83c4da..859356341 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -75,9 +75,10 @@ Theory::Theory(TheoryId id, d_sharedTermsIndex(satContext, 0), d_careGraph(nullptr), d_instanceName(name), - d_checkTime(getStatsPrefix(id) + name + "::checkTime"), - d_computeCareGraphTime(getStatsPrefix(id) + name - + "::computeCareGraphTime"), + d_checkTime(smtStatisticsRegistry().registerTimer(getStatsPrefix(id) + + name + "checkTime")), + d_computeCareGraphTime(smtStatisticsRegistry().registerTimer( + getStatsPrefix(id) + name + "computeCareGraphTime")), d_sharedTerms(satContext), d_out(&out), d_valuation(valuation), @@ -88,13 +89,9 @@ Theory::Theory(TheoryId id, d_quantEngine(nullptr), d_pnm(pnm) { - smtStatisticsRegistry()->registerStat(&d_checkTime); - smtStatisticsRegistry()->registerStat(&d_computeCareGraphTime); } Theory::~Theory() { - smtStatisticsRegistry()->unregisterStat(&d_checkTime); - smtStatisticsRegistry()->unregisterStat(&d_computeCareGraphTime); } bool Theory::needsEqualityEngine(EeSetupInfo& esi) |