summaryrefslogtreecommitdiff
path: root/decoder/cdec.cc
diff options
context:
space:
mode:
authorChris Dyer <cdyer@cab.ark.cs.cmu.edu>2012-09-24 22:18:32 -0400
committerChris Dyer <cdyer@cab.ark.cs.cmu.edu>2012-09-24 22:18:32 -0400
commit38ae810fe374ff7fb548b1a15f7c2ee7dcd94000 (patch)
treec2aa7e29159bbb77eadad69c7ae9e42132cbac9b /decoder/cdec.cc
parentd2bc8694e5450a46c6f851d926c1ebfeb3424cbf (diff)
add timing stats for Kenneth
Diffstat (limited to 'decoder/cdec.cc')
-rw-r--r--decoder/cdec.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/decoder/cdec.cc b/decoder/cdec.cc
index c671af57..4819105c 100644
--- a/decoder/cdec.cc
+++ b/decoder/cdec.cc
@@ -4,6 +4,7 @@
#include "decoder.h"
#include "ff_register.h"
#include "verbose.h"
+#include "timing_stats.h"
using namespace std;
@@ -27,6 +28,7 @@ int main(int argc, char** argv) {
if (buf.empty()) continue;
decoder.Decode(buf);
}
+ Timer::Summarize();
#ifdef CP_TIME
cerr << "Time required for Cube Pruning execution: "
<< CpTime::Get()