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

Co-authored-by: Christine Zhou <[email protected]>
p-org · May 30, 2024 · ac82d2c · ac82d2c
1 parent 610b503
commit ac82d2c
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/Src/PChecker/CheckerCore/Scheduling/TestingProcessScheduler.cs b/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.");
 

diff --git a/Src/PChecker/CheckerCore/SystematicTesting/TestReport.cs b/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();
         }