Rework the doc of model-check/replay, and add an example with sthread

[simgrid.git] / teshsuite / models / wifi_usage / wifi_usage.cpp

diff --git a/teshsuite/models/wifi_usage/wifi_usage.cpp b/teshsuite/models/wifi_usage/wifi_usage.cpp
index 619319f830347e82de39d430960747d30e523d4e..b067a943def9884130bd88def52ff3748cce6d16 100644 (file)
--- a/teshsuite/models/wifi_usage/wifi_usage.cpp
+++ b/teshsuite/models/wifi_usage/wifi_usage.cpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2019-2021. The SimGrid Team. All rights reserved.          */
+/* Copyright (c) 2019-2023. 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. */
@@ -7,7 +7,7 @@
 #include "xbt/config.hpp"
 #include "xbt/log.h"
 
-#include "src/surf/network_interface.hpp"
+#include "src/kernel/resource/WifiLinkImpl.hpp"
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(simulator, "[usage] wifi_usage <platform-file>");
 
@@ -49,11 +49,12 @@ static void main_dispatcher()
   }
   run_ping_test("Station 1", "Station 2", 1000);
 }
+
 int main(int argc, char** argv)
 {
   simgrid::s4u::Engine engine(&argc, argv);
   engine.load_platform(argv[1]);
-  simgrid::s4u::Actor::create("dispatcher", simgrid::s4u::Host::by_name("node1"), main_dispatcher);
+  simgrid::s4u::Actor::create("dispatcher", engine.host_by_name("node1"), main_dispatcher);
   engine.run();
 
   return 0;