Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
fix MC despite clang-format sorting the headers alphabetically while I would prefer...
[simgrid.git] / src / mc / mc_record.cpp
index ec97313473a56f17344b3e79aa02da5abc24f524..02522b06cc2b49194c84962f371947e7e690e9f3 100644 (file)
@@ -87,7 +87,7 @@ std::string traceToString(simgrid::mc::RecordTrace const& trace)
     if (i != trace.begin())
       stream << ';';
     stream << i->aid_;
-    if (i->times_considered_)
+    if (i->times_considered_ > 0)
       stream << '/' << i->times_considered_;
   }
   return stream.str();