z3GlobalGetEstimatedAllocatedMemory function

int z3GlobalGetEstimatedAllocatedMemory()

Returns the estimated amount of allocated memory by Z3, in bytes.

Implementation

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