A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
mcapi::s_restore_initial_state() renamed to mcapi::restore_initial_state()
[simgrid.git]
/
src
/
mc
/
mc_api.cpp
diff --git
a/src/mc/mc_api.cpp
b/src/mc/mc_api.cpp
index
29e895b
..
3d37b20
100644
(file)
--- a/
src/mc/mc_api.cpp
+++ b/
src/mc/mc_api.cpp
@@
-205,6
+205,11
@@
unsigned long mc_api::get_maxpid() const
return MC_smx_get_maxpid();
}
return MC_smx_get_maxpid();
}
+int mc_api::get_actors_size() const
+{
+ return mc_model_checker->get_remote_simulation().actors().size();
+}
+
void mc_api::copy_incomplete_comm_pattern(const simgrid::mc::State* state) const
{
MC_state_copy_incomplete_communications_pattern((simgrid::mc::State*)state);
void mc_api::copy_incomplete_comm_pattern(const simgrid::mc::State* state) const
{
MC_state_copy_incomplete_communications_pattern((simgrid::mc::State*)state);
@@
-456,6
+461,11
@@
int mc_api::get_smpi_request_tag(smx_simcall_t const& simcall, simgrid::simix::S
}
#endif
}
#endif
+void mc_api::restore_state(std::shared_ptr<simgrid::mc::Snapshot> system_state) const
+{
+ system_state->restore(&mc_model_checker->get_remote_simulation());
+}
+
bool mc_api::snapshot_equal(const Snapshot* s1, const Snapshot* s2) const
{
return simgrid::mc::snapshot_equal(s1, s2);
bool mc_api::snapshot_equal(const Snapshot* s1, const Snapshot* s2) const
{
return simgrid::mc::snapshot_equal(s1, s2);
@@
-472,7
+482,7
@@
void mc_api::s_close() const
session->close();
}
session->close();
}
-void mc_api::
s_
restore_initial_state() const
+void mc_api::restore_initial_state() const
{
session->restore_initial_state();
}
{
session->restore_initial_state();
}
@@
-482,7
+492,7
@@
void mc_api::execute(Transition const& transition)
session->execute(transition);
}
session->execute(transition);
}
-void mc_api::
s_
log_state() const
+void mc_api::log_state() const
{
session->log_state();
}
{
session->log_state();
}