#include "simgrid/config.h"
#include "simgrid/sg_config.hpp"
#include "src/internal_config.h"
+#include "src/sthread/sthread.h" // sthread_inside_simgrid
#include "xbt/config.hpp"
#include "xbt/coverage.h"
#include "xbt/dynar.h"
std::vector<std::string> cmdline; /* all we got in argv */
} // namespace simgrid::xbt
+volatile int sthread_inside_simgrid = 1; // Only intercept pthread calls in user code.
+
int xbt_initialized = 0;
simgrid::config::Flag<bool> cfg_dbg_clean_atexit{
"debug/clean-atexit",