#include <simgrid/modelchecker.h>
#include <simgrid/s4u.hpp>
-#define N 2
-
XBT_LOG_NEW_DEFAULT_CATEGORY(electric_fence, "Example to check the soundness of DPOR");
static void server()
{
simgrid::s4u::Engine e(&argc, argv);
- e.load_platform("platform.xml");
+ e.load_platform(argv[1]);
simgrid::s4u::Actor::create("server", simgrid::s4u::Host::by_name("HostA"), server);
simgrid::s4u::Actor::create("client", simgrid::s4u::Host::by_name("HostB"), client, 1);