size_t* pagenos = (size_t*) malloc(page_count * sizeof(size_t));
for (size_t i=0; i!=page_count; ++i) {
- if (pagemap && (pagemap[i] & SOFT_DIRTY)) {
+ bool softclean = pagemap && !(pagemap[i] & SOFT_DIRTY);
+ if (softclean) {
// The page is softclean, it is the same page as the reference page:
pagenos[i] = reference_pages[i];
mc_model_checker->pages->ref_page(reference_pages[i]);