diff -r d7ce0311ece2 -r cf6519daa7fa tests/file_main.cc --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/file_main.cc Sun Dec 11 11:19:39 2011 +0100 @@ -0,0 +1,23 @@ +#include +#include +#include + +using namespace lemon; + +std::string instance_name; + +int testMain(std::istream &input); + +int main(int argc, char **argv) +{ + if(argc!=2) exit(1); + + std::ifstream input; + input.open((DATADIR_PATH+"/"+argv[1]).c_str()); + + instance_name = argv[1]; + + Timer ti; + testMain(input); + logTime("total",ti); +}