#include <unordered_map>
#include <vector>
-#include "mc/mc_forward.h"
-#include "mc/Type.hpp"
-#include "mc/Frame.hpp"
+#include <xbt/base.h>
-#include "smpi/private.h"
+#include "src/mc/mc_forward.h"
+#include "src/mc/Type.hpp"
+#include "src/mc/Frame.hpp"
+
+#include "src/smpi/private.h"
namespace simgrid {
namespace mc {
return this->flags & simgrid::mc::ObjectInformation::Executable;
}
- bool privatized() const
- {
- return this->executable() && smpi_privatize_global_variables;
- }
-
void* base_address() const;
simgrid::mc::Frame* find_function(const void *ip) const;
simgrid::mc::Variable* find_variable(const char* name) const;
-
+ void remove_global_variable(const char* name);
+ void remove_local_variable(
+ const char* name, const char* scope);
};
+
+
}
}