[C#] Sanitize names in coverage report

p-org · Oct 4, 2023 · aef7289 · aef7289
1 parent 58cb49a
commit aef7289
Showing 1 changed file with 16 additions and 2 deletions.
diff --git a/Src/PChecker/CheckerCore/Coverage/ActivityCoverageReporter.cs b/Src/PChecker/CheckerCore/Coverage/ActivityCoverageReporter.cs
@@ -135,7 +135,7 @@ internal void WriteCoverageText(TextWriter writer)
             foreach (var machine in machines)
             {
                 machineTypes.TryGetValue(machine, out var machineType);
-                WriteHeader(writer, string.Format("{0}: {1}", machineType, machine));
+                WriteHeader(writer, string.Format("{0}: {1}", machineType, GetSanitizedName(machine)));
 
                 // find all possible events for this machine.
                 var uncoveredMachineEvents = new Dictionary<string, HashSet<string>>();
@@ -314,7 +314,11 @@ private IEnumerable<string> GetPushedStates(string stateId)
 
         private static List<string> SortHashSet(HashSet<string> items)
         {
-            var sorted = new List<string>(items);
+            var sorted = new List<string>();
+            foreach (var i in items)
+            {
+                sorted.Add(GetSanitizedName(i));
+            }
             sorted.Sort();
             return sorted;
         }
@@ -349,5 +353,15 @@ private static string GetMachineId(string nodeId)
 
         private static string GetStateId(string machineName, string stateName) =>
             string.Format("{0}::{1}", stateName, machineName);
+
+        private static string GetSanitizedName(string name)
+        {
+            if (name.StartsWith("PImplementation."))
+            {
+                return name.Substring("PImplementation.".Length);
+            }
+
+            return name;
+        }
     }
 }