Looks good! I'd maybe change the warning text to "warning: could not determine
peak memory" (removing "translator") -- then this is a general utility function
that could be more easily reused in other Python programs.
Feel free to close the branch and merge.
|