-/* Copyright (c) 2015-2019. The SimGrid Team.
+/* Copyright (c) 2015-2021. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
#ifndef SIMGRID_MC_TRANSITION_HPP
#define SIMGRID_MC_TRANSITION_HPP
+#include <string>
+
namespace simgrid {
namespace mc {
*
* * random can produce different values.
*/
- int argument_ = 0;
+ int times_considered_ = 0;
+
+ /* Textual representation of the transition, to display backtraces */
+ std::string textual;
};
} // namespace mc