z3GlobalGetEstimatedAllocatedMemory function

int z3GlobalGetEstimatedAllocatedMemory()

Implementation

int z3GlobalGetEstimatedAllocatedMemory() => _libz3.get_estimated_alloc_size();