changeset 10 | d7ce0311ece2 |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/tests/main.cc Sun Dec 11 07:33:29 2011 +0100 1.3 @@ -0,0 +1,12 @@ 1.4 +#include <benchmark_tools.h> 1.5 + 1.6 +using namespace lemon; 1.7 + 1.8 +int testMain(int argc, char **argv); 1.9 + 1.10 +int main(int argc, char **argv) 1.11 +{ 1.12 + Timer ti; 1.13 + testMain(argc, argv); 1.14 + logTime("total",ti); 1.15 +}