- for (size_t i = 0; i < this->snapshot_regions_count; i++) {
- delete this->snapshot_regions[i];
- }
- xbt_free(this->snapshot_regions);
- xbt_free(this->stack_sizes);
- xbt_dynar_free(&(this->stacks));
- xbt_dynar_free(&(this->to_ignore));
- xbt_dynar_free(&this->ignored_data);