diff options
author | Chris Dyer <cdyer@cab.ark.cs.cmu.edu> | 2012-09-24 22:18:32 -0400 |
---|---|---|
committer | Chris Dyer <cdyer@cab.ark.cs.cmu.edu> | 2012-09-24 22:18:32 -0400 |
commit | e1d05e2d73abe9574cb938764976583bba936578 (patch) | |
tree | b301cfde886acf3b6005c9cdf2e9c9c5377307c6 | |
parent | 214f4714d95cb27d31ff976a11dec8a0c0eb438d (diff) |
add timing stats for Kenneth
-rw-r--r-- | decoder/cdec.cc | 2 |
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() |