- int num_state;
- std::size_t heap_bytes_used;
- std::vector<std::unique_ptr<RegionSnapshot>> snapshot_regions;
- std::set<pid_t> enabled_processes;
- int privatization_index;
- std::vector<std::size_t> stack_sizes;
- std::vector<s_mc_snapshot_stack_t> stacks;
- std::vector<simgrid::mc::IgnoredHeapRegion> to_ignore;
- std::uint64_t hash = 0;
- std::vector<s_mc_snapshot_ignored_data_t> ignored_data;
+ int num_state_;
+ std::size_t heap_bytes_used_;
+ std::vector<std::unique_ptr<RegionSnapshot>> snapshot_regions_;
+ std::set<pid_t> enabled_processes_;
+ int privatization_index_;
+ std::vector<std::size_t> stack_sizes_;
+ std::vector<s_mc_snapshot_stack_t> stacks_;
+ std::vector<simgrid::mc::IgnoredHeapRegion> to_ignore_;
+ std::uint64_t hash_ = 0;
+ std::vector<s_mc_snapshot_ignored_data_t> ignored_data_;