get_estimated_alloc_size method

int get_estimated_alloc_size()

\brief Return the estimated allocated memory in bytes.

def_API('Z3_get_estimated_alloc_size', UINT64, ())

Implementation

int get_estimated_alloc_size() {
  return _get_estimated_alloc_size();
}