[C#] Correct error in coverage reporting

p-org · Oct 4, 2023 · 58cb49a · 58cb49a
1 parent 05c9862
commit 58cb49a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Src/PChecker/CheckerCore/Coverage/ActorRuntimeLogEventCoverage.cs b/Src/PChecker/CheckerCore/Coverage/ActorRuntimeLogEventCoverage.cs
@@ -190,7 +190,7 @@ public void OnMonitorExecuteAction(string monitorType, string stateName, string
         public void OnMonitorProcessEvent(string monitorType, string stateName, string senderName,
             string senderType, string senderStateName, Event e)
         {
-            EventCoverage.AddEventReceived(GetStateId(monitorType, stateName), e.GetType().Name);
+            EventCoverage.AddEventReceived(GetStateId(monitorType, stateName), e.GetType().FullName);
         }
 
         public void OnMonitorRaiseEvent(string monitorType, string stateName, Event e)