From 9e5c489403d8664b08432e2befd27c41e3edc17c Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 1 Mar 2016 11:25:29 +0100 Subject: [PATCH 1/1] [mc] Fix PID mismatch in snapshot I was passing the simulated process PID instead of the native process PID when taking file descriptor snapshots. File descriptor snapshots is currently not tested and not fully functional. --- src/mc/mc_checkpoint.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/mc_checkpoint.cpp b/src/mc/mc_checkpoint.cpp index 07fa867831..939fe0cd35 100644 --- a/src/mc/mc_checkpoint.cpp +++ b/src/mc/mc_checkpoint.cpp @@ -561,7 +561,7 @@ mc_snapshot_t take_snapshot(int num_state) snapshot_handle_ignore(snapshot); if (_sg_mc_snapshot_fds) - snapshot->current_fds = get_current_fds(process->pid); + snapshot->current_fds = get_current_fds(mc_model_checker->process().pid()); const bool use_soft_dirty = _sg_mc_sparse_checkpoint && _sg_mc_soft_dirty; -- 2.20.1