1 #include <benchmark_tools.h>
2
3 using namespace lemon;
4
5 int testMain(int argc, char **argv);
6
7 int main(int argc, char **argv)
8 {
9 Timer ti;
10 testMain(argc, argv);
11 logTime("total",ti);
12 }