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
Remove the stateful model-checking from the archive. It's not working anymore
[simgrid.git]
/
src
/
kernel
/
context
/
Context.hpp
diff --git
a/src/kernel/context/Context.hpp
b/src/kernel/context/Context.hpp
index
1961399
..
16c5e82
100644
(file)
--- a/
src/kernel/context/Context.hpp
+++ b/
src/kernel/context/Context.hpp
@@
-35,7
+35,6
@@
protected:
template <class T, class... Args> T* new_context(Args&&... args)
{
auto* context = new T(std::forward<Args>(args)...);
template <class T, class... Args> T* new_context(Args&&... args)
{
auto* context = new T(std::forward<Args>(args)...);
- context->declare_context(sizeof(T));
return context;
}
};
return context;
}
};
@@
-49,7
+48,6
@@
class XBT_PUBLIC Context {
std::function<void()> code_;
actor::ActorImpl* actor_ = nullptr;
bool is_maestro_;
std::function<void()> code_;
actor::ActorImpl* actor_ = nullptr;
bool is_maestro_;
- void declare_context(std::size_t size);
public:
static e_xbt_parmap_mode_t parallel_mode;
public:
static e_xbt_parmap_mode_t parallel_mode;