fix Exec::get_start_time()

[simgrid.git] / include / simgrid / s4u / Exec.hpp

diff --git a/include/simgrid/s4u/Exec.hpp b/include/simgrid/s4u/Exec.hpp
index 6cb7870..afc242f 100644 (file)
--- a/include/simgrid/s4u/Exec.hpp
+++ b/include/simgrid/s4u/Exec.hpp
@@ -37,6 +37,8 @@ class XBT_PUBLIC Exec : public Activity_T<Exec> {
   std::vector<double> bytes_amounts_;
   std::vector<Host*> hosts_;
   bool parallel_ = false;
+  double start_time_ = -1.0;
+  double finish_time_ = -1.0;
   Exec();
 
 public:
@@ -77,7 +79,7 @@ public:
   Exec* cancel() override;
   Host* get_host() const;
   unsigned int get_host_number() const;
-  double get_start_time() const;
+  double get_start_time() const { return start_time_; }
   double get_finish_time() const;
   double get_cost() const;
   bool is_parallel() const { return parallel_; }