From 9458ff54033a80eb81b17448c35397fa9c8efdde Mon Sep 17 00:00:00 2001 From: James Cherry Date: Fri, 25 Sep 2020 16:12:48 -0700 Subject: [PATCH] memory_usage --- tcl/StaTcl.i | 2 +- tcl/Util.tcl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tcl/StaTcl.i b/tcl/StaTcl.i index 5c715729..aac93cc6 100644 --- a/tcl/StaTcl.i +++ b/tcl/StaTcl.i @@ -5317,7 +5317,7 @@ cputime() // Peak memory usage in bytes. unsigned long -mem() +memory_usage() { return memoryUsage(); } diff --git a/tcl/Util.tcl b/tcl/Util.tcl index e8fdbd4b..ebdaac7b 100644 --- a/tcl/Util.tcl +++ b/tcl/Util.tcl @@ -286,7 +286,7 @@ define_cmd_args "user_run_time" {} # Write run time statistics to filename. proc write_stats { filename } { 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 } }