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
MC: display the 100 first transitions when we reach the depth-limit
[simgrid.git]
/
src
/
mc
/
explo
/
Exploration.hpp
diff --git
a/src/mc/explo/Exploration.hpp
b/src/mc/explo/Exploration.hpp
index
64114d4
..
571ed19
100644
(file)
--- a/
src/mc/explo/Exploration.hpp
+++ b/
src/mc/explo/Exploration.hpp
@@
-60,7
+60,7
@@
public:
virtual RecordTrace get_record_trace() = 0;
/** Generate a textual execution trace of the simulated application */
virtual RecordTrace get_record_trace() = 0;
/** Generate a textual execution trace of the simulated application */
- std::vector<std::string> get_textual_trace();
+ std::vector<std::string> get_textual_trace(
int max_elements = -1
);
/** Log additional information about the state of the model-checker */
virtual void log_state();
/** Log additional information about the state of the model-checker */
virtual void log_state();