X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/26ade07ab0e62b98b452fbbd18edba0450035e35..ab6c1548ac2b1907bca92c8ce43e919c1a649a6f:/rsm_tester.cc diff --git a/rsm_tester.cc b/rsm_tester.cc index e821c99..5507f80 100644 --- a/rsm_tester.cc +++ b/rsm_tester.cc @@ -6,9 +6,8 @@ #include "rsm_protocol.h" #include "rsmtest_client.h" -char log_thread_prefix = 't'; - int main(int argc, char *argv[]) { + global = new t4_state('t'); if(argc != 4){ LOG_NONMEMBER << "Usage: " << argv[0] << " [host:]port [partition] arg"; return 1; @@ -17,9 +16,9 @@ int main(int argc, char *argv[]) { rsmtest_client *lc = new rsmtest_client(argv[1]); string command(argv[2]); if (command == "partition") { - LOG_NONMEMBER << "net_repair returned " << lc->net_repair(stoi(argv[3])); + LOG_NONMEMBER << "net_repair returned " << lc->net_repair(std::stoi(argv[3])); } else if (command == "breakpoint") { - int b = stoi(argv[3]); + int b = std::stoi(argv[3]); LOG_NONMEMBER << "breakpoint " << b << " returned " << lc->breakpoint(b); } else { LOG_NONMEMBER << "Unknown command " << argv[2];