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
mv ActorImpl where it belongs
[simgrid.git]
/
src
/
mc
/
mc_global.cpp
diff --git
a/src/mc/mc_global.cpp
b/src/mc/mc_global.cpp
index
f85660a
..
c9b5ba6
100644
(file)
--- a/
src/mc/mc_global.cpp
+++ b/
src/mc/mc_global.cpp
@@
-26,7
+26,7
@@
#include <sys/time.h>
#endif
#include <sys/time.h>
#endif
-#include "src/
simix
/ActorImpl.hpp"
+#include "src/
kernel/actor
/ActorImpl.hpp"
#if SIMGRID_HAVE_MC
#include "src/mc/checker/Checker.hpp"
#if SIMGRID_HAVE_MC
#include "src/mc/checker/Checker.hpp"
@@
-122,7
+122,7
@@
void MC_automaton_load(const char *file)
namespace simgrid {
namespace mc {
namespace simgrid {
namespace mc {
-void dumpStack(FILE* file, unw_cursor_t cursor)
+void dumpStack(FILE* file, unw_cursor_t
&&
cursor)
{
int nframe = 0;
char buffer[100];
{
int nframe = 0;
char buffer[100];
@@
-165,7
+165,7
@@
static void MC_dump_stacks(FILE* file)
context.initialize(&mc_model_checker->process(), &raw_context);
unw_cursor_t cursor = context.cursor();
context.initialize(&mc_model_checker->process(), &raw_context);
unw_cursor_t cursor = context.cursor();
- simgrid::mc::dumpStack(file,
cursor
);
+ simgrid::mc::dumpStack(file,
std::move(cursor)
);
}
}
#endif
}
}
#endif