Rename all CBMC proof allocators
Opened this issue · 0 comments
feliperodri commented
Most of the allocator have the prefix ensures something is allocated. This is not precise, because this allocators non-deterministically allocate memory, so at the end there could be null pointers. Rename them to reflect their behavior.