/** @file
* Libunwind implementation for the model-checker
*
- * Libunwind provides an pluggable stack unwinding API: the way the current
- * registers and memory is accessed, the way unwinding informations is found
+ * Libunwind provides a pluggable stack unwinding API: the way the current
+ * registers and memory is accessed, the way unwinding information is found
* is pluggable.
*
* This component implements the libunwind API for he model-checker:
class UnwindContext {
simgrid::mc::AddressSpace* address_space_ = nullptr;
- simgrid::mc::RemoteClient* process_ = nullptr;
+ simgrid::mc::RemoteSimulation* process_ = nullptr;
unw_context_t unwind_context_;
public:
- void initialize(simgrid::mc::RemoteClient* process, unw_context_t* c);
+ void initialize(simgrid::mc::RemoteSimulation* process, unw_context_t* c);
unw_cursor_t cursor();
private: // Methods and virtual table for libunwind
static unw_addr_space_t createUnwindAddressSpace();
};
-void dumpStack(FILE* file, unw_cursor_t&& cursor);
-void dumpStack(FILE* file, pid_t pid);
+void dumpStack(FILE* file, unw_cursor_t* cursor);
} // namespace mc
} // namespace simgrid