-/* Copyright (c) 2009-2018. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2009-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
public:
explicit Replayer(std::vector<std::string> args)
{
- int argc;
- char* argv[2];
- argv[0] = &args.at(0)[0];
- if (args.size() == 1) {
- argc = 1;
- } else {
- argc = 2;
- argv[1] = &args.at(1)[0];
- }
- simgrid::xbt::replay_runner(argc, argv);
+ const char* actor_name = args.at(0).c_str();
+ const char* trace_filename = args.size() > 1 ? args[1].c_str() : nullptr;
+ simgrid::xbt::replay_runner(actor_name, trace_filename);
}
void operator()()
argv[0], argv[0], argv[0]);
e.load_platform(argv[1]);
- e.register_default(&simgrid::xbt::replay_runner);
e.register_actor<Replayer>("p0");
e.register_actor<Replayer>("p1");
e.load_deployment(argv[2]);