Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Another attempt to fix the printf issue on mac: don't use uint64 :)
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 5 Nov 2023 21:58:37 +0000 (22:58 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 5 Nov 2023 22:00:25 +0000 (23:00 +0100)
src/mc/explo/udpor/UnfoldingEvent.cpp
src/mc/explo/udpor/UnfoldingEvent.hpp

index 865b701..8651a2a 100644 (file)
@@ -59,8 +59,8 @@ std::string UnfoldingEvent::to_string() const
   dependencies_string += "]";
 
   return xbt::string_printf("Event %lu, Actor %ld: %s (%lu dependencies: %s)", this->id, associated_transition->aid_,
-                            associated_transition->to_string().c_str(),
-                            static_cast<long unsigned>(immediate_causes.size()), dependencies_string.c_str());
+                            associated_transition->to_string().c_str(), immediate_causes.size(),
+                            dependencies_string.c_str());
 }
 
 EventSet UnfoldingEvent::get_history() const
index 5486709..98f40ad 100644 (file)
@@ -97,7 +97,7 @@ private:
    * @brief An identifier which is used to sort events
    * deterministically
    */
-  uint64_t id = 0;
+  unsigned long id = 0;
 };
 
 } // namespace simgrid::mc::udpor