memory_usage

This commit is contained in:
James Cherry 2020-09-25 16:12:48 -07:00
parent 2c0e653dc1
commit 9458ff5403
2 changed files with 2 additions and 2 deletions

View File

@ -5317,7 +5317,7 @@ cputime()
// Peak memory usage in bytes. // Peak memory usage in bytes.
unsigned long unsigned long
mem() memory_usage()
{ {
return memoryUsage(); return memoryUsage();
} }

View File

@ -286,7 +286,7 @@ define_cmd_args "user_run_time" {}
# Write run time statistics to filename. # Write run time statistics to filename.
proc write_stats { filename } { proc write_stats { filename } {
if { ![catch {open $filename w} stream] } { if { ![catch {open $filename w} stream] } {
puts $stream "[elapsed_run_time] [user_run_time] [mem]" puts $stream "[elapsed_run_time] [user_run_time] [memory_usage]"
close $stream close $stream
} }
} }