static unsigned int warned = 0; // At most 20 such warnings
warned++;
if (warned <= 20)
XBT_INFO("The parameter to sleep_for() is smaller than the SimGrid numerical accuracy (%g < %g). "
"Please refer to https://simgrid.org/doc/latest/Configuring_SimGrid.html#numerical-precision",
static unsigned int warned = 0; // At most 20 such warnings
warned++;
if (warned <= 20)
XBT_INFO("The parameter to sleep_for() is smaller than the SimGrid numerical accuracy (%g < %g). "
"Please refer to https://simgrid.org/doc/latest/Configuring_SimGrid.html#numerical-precision",