Adding "max_memory" to pchecker_summary.txt (#741)

Co-authored-by: Christine Zhou <[email protected]>

Author: ChristineZh0u

Src/PChecker/CheckerCore/Scheduling/TestingProcessScheduler.cs

@@ -178,7 +178,7 @@ private void EmitTestReport()
             var directory = GlobalTestReport.CheckerConfiguration.OutputDirectory;
             var pintPath = directory + file + "_pchecker_summary.txt";
             Console.WriteLine($"..... Writing {pintPath}");
-            File.WriteAllText(pintPath, GlobalTestReport.GetSummaryText($"{Profiler.GetElapsedTime():0.##}"));
+            File.WriteAllText(pintPath, GlobalTestReport.GetSummaryText(Profiler));
 
             Console.WriteLine($"... Elapsed {Profiler.GetElapsedTime():0.##} sec and used {Profiler.GetMaxMemoryUsage():0.##} GB.");
 

Src/PChecker/CheckerCore/SystematicTesting/TestReport.cs

@@ -6,6 +6,7 @@
 using System.Runtime.Serialization;
 using System.Text;
 using PChecker.Coverage;
+using PChecker.Utilities;
 
 namespace PChecker.SystematicTesting
 {
@@ -181,7 +182,7 @@ public bool Merge(TestReport testReport)
         /// <summary>
         /// Returns a simple string testing report with only the keys and values.
         /// </summary>
-        public string GetSummaryText(string runtime) {
+        public string GetSummaryText(Profiler Profiler) {
             var report = new StringBuilder();
 
             report.AppendFormat("bugs:{0}", NumOfFoundBugs);
@@ -195,7 +196,10 @@ public string GetSummaryText(string runtime) {
             report.AppendFormat("max_depth:{0}", MaxExploredFairSteps < 0 ? 0 : MaxExploredFairSteps);
             report.AppendLine();
 
-            report.AppendFormat("time_seconds:{0}", runtime);
+            report.AppendFormat($"time_seconds:{Profiler.GetElapsedTime():0.##}");
+            report.AppendLine();
+
+            report.AppendFormat($"memory_max_mb:{Profiler.GetMaxMemoryUsage():0.##}");
 
             return report.ToString();
         }