[C#] Minor

p-org · Oct 4, 2023 · d752c52 · d752c52
1 parent aef7289
commit d752c52
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/Src/PChecker/CheckerCore/Coverage/ActivityCoverageReporter.cs b/Src/PChecker/CheckerCore/Coverage/ActivityCoverageReporter.cs
@@ -356,9 +356,10 @@ private static string GetStateId(string machineName, string stateName) =>
 
         private static string GetSanitizedName(string name)
         {
-            if (name.StartsWith("PImplementation."))
+            var i = name.LastIndexOf(".");
+            if (i > 0)
             {
-                return name.Substring("PImplementation.".Length);
+                return name.Substring(i + 1);
             }
 
             return name;