#if SIMGRID_HAVE_MC
if (MC_is_active()) {
- MC_register_stack_area(get_stack(), actor, &(this->uc_), smx_context_stack_size);
+ MC_register_stack_area(get_stack(), &(this->uc_), smx_context_stack_size);
}
#endif
}
* @param context The context associated to that stack
* @param size Size of the stack
*/
-void MC_register_stack_area(void* stack, smx_actor_t actor, ucontext_t* context, size_t size)
+void MC_register_stack_area(void* stack, ucontext_t* context, size_t size)
{
xbt_assert(mc_model_checker == nullptr);
if (not MC_is_active())
return;
- simgrid::mc::Client::get()->declare_stack(stack, size, actor, context);
+ simgrid::mc::Client::get()->declare_stack(stack, size, context);
}
void MC_ignore_global_variable(const char* /*name*/)
#if HAVE_UCONTEXT_H
#include <ucontext.h> /* context relative declarations */
-XBT_PUBLIC void MC_register_stack_area(void* stack, smx_actor_t process, ucontext_t* context, size_t size);
+XBT_PUBLIC void MC_register_stack_area(void* stack, ucontext_t* context, size_t size);
#endif
xbt_die("Could send REGISTER_SYMBOL message to model-checker");
}
-void Client::declare_stack(void* stack, size_t size, smx_actor_t process, ucontext_t* context)
+void Client::declare_stack(void* stack, size_t size, ucontext_t* context)
{
xbt_mheap_t heap = mmalloc_get_current_heap();
void unignore_heap(void* addr, std::size_t size);
void declare_symbol(const char* name, int* value);
#if HAVE_UCONTEXT_H
- void declare_stack(void* stack, size_t size, smx_actor_t process, ucontext_t* context);
+ void declare_stack(void* stack, size_t size, ucontext_t* context);
#endif
// Singleton :/