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 | 38ae810fe374ff7fb548b1a15f7c2ee7dcd94000 (patch) | |
| tree | c2aa7e29159bbb77eadad69c7ae9e42132cbac9b /decoder/cdec.cc | |
| parent | d2bc8694e5450a46c6f851d926c1ebfeb3424cbf (diff) | |
add timing stats for Kenneth
Diffstat (limited to 'decoder/cdec.cc')
| -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() |