Files in teshsuite/smpi/mpich3-test/ were not considered.
/*#*/
/*# ==================================================================================================*/
-#include "stdio.h"
-#include "mpi.h"
+#include <mpi.h>
+#include <stdio.h>
void multiply(float* a, float* b, float* c, int istart, int iend, int size);
void multiply_sampled(float* a, float* b, float* c, int istart, int iend, int size);
#include <ns3/packet-sink-helper.h>
#include <ns3/point-to-point-helper.h>
-#include "ns3/mobility-module.h"
-#include "ns3/wifi-module.h"
+#include <ns3/mobility-module.h>
+#include <ns3/wifi-module.h>
#include "network_ns3.hpp"
#include "src/kernel/resource/models/ns3/ns3_simulator.hpp"
#include "simgrid/s4u/Host.hpp"
#include "src/kernel/resource/models/network_ns3.hpp"
-#include "ns3/wifi-module.h"
#include <ns3/node.h>
#include <ns3/tcp-socket-factory.h>
+#include <ns3/wifi-module.h>
#include <cstdint>
#include "smpi/smpi.h"
#include "src/smpi/include/private.hpp"
#endif
-#include "signal.h"
#include "src/mc/api/State.hpp"
#include "src/mc/mc_config.hpp"
#include "src/mc/mc_exit.hpp"
#include "src/mc/mc_private.hpp"
#include "xbt/log.h"
#include "xbt/system_error.hpp"
+#include <signal.h>
#include <algorithm>
#include <array>
#include "xbt/str.h"
#if HAVE_PAPI
-#include "papi.h"
+#include <papi.h>
#endif
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(smpi_process, smpi, "Logging specific to SMPI (kernel)");
/* 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. */
-#include "getopt.h"
#include "private.hpp"
#include "simgrid/host.h"
#include "simgrid/modelchecker.h"
#include "src/mc/mc_replay.hpp"
#include "xbt/config.hpp"
#include "xbt/file.hpp"
+#include <getopt.h>
#include "src/smpi/include/smpi_actor.hpp"
#undef _GNU_SOURCE
#endif
-#include "include/xbt/config.hpp"
#include "private.hpp"
#include "smpi_coll.hpp"
#include "smpi_config.hpp"
#include "src/mc/mc.h"
+#include "xbt/config.hpp"
#include "xbt/ex.h"
#include "xbt/parse_units.hpp"
#endif
#if HAVE_PAPI
-#include "papi.h"
+#include <papi.h>
#endif
#if not defined(__APPLE__) && not defined(__HAIKU__)
#ifdef COVERAGE
#if defined(__GNUC__) && __GNUC__ >= 11
-#include "gcov.h"
+#include <gcov.h>
#define coverage_checkpoint() \
do { \
__gcov_dump(); \