From a64af5c3903cbe75214016aef4b5a3994256e6f8 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 12 Nov 2014 19:42:23 -0500
Subject: New, uniform checkTime statistic for all theories (as discussed in
 meeting).

---
 contrib/alttheoryskel/theory_DIR.cpp | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'contrib/alttheoryskel/theory_DIR.cpp')

diff --git a/contrib/alttheoryskel/theory_DIR.cpp b/contrib/alttheoryskel/theory_DIR.cpp
index 83d837322..ce29fd34d 100644
--- a/contrib/alttheoryskel/theory_DIR.cpp
+++ b/contrib/alttheoryskel/theory_DIR.cpp
@@ -16,6 +16,11 @@ Theory$camel::Theory$camel(context::Context* c,
 }/* Theory$camel::Theory$camel() */
 
 void Theory$camel::check(Effort level) {
+  if (done() && !fullEffort(level)) {
+    return;
+  }
+
+  TimerStat::CodeTimer checkTimer(d_checkTime);
 
   while(!done()) {
     // Get all the assertions
-- 
cgit v1.2.3