#include <benchmark_tools.h>

using namespace lemon;

int testMain(int argc, char **argv);

int main(int argc, char **argv)
{
  Timer ti;
  testMain(argc, argv);
  logTime("total",ti);
}