Method ~MemoryModel

src/misc/memory_model.cpp:67–81

    }

    MemoryModel::~MemoryModel() {
        shoe.clear();
        for ( auto & itb : bigStuff ) {
            FREE_INSANE_POINTER(itb.first);
            das_aligned_free16(itb.first);
        }
        bigStuff.clear();
#if DAS_SANITIZER
        for ( auto & itb : deletedBigStuff ) {
            FREE_INSANE_POINTER(itb.first);
            das_aligned_free16(itb.first);
        }
        deletedBigStuff.clear();
#endif
    }

    void MemoryModel::setInitialSize ( uint64_t size ) {
        initialSize = size;