Changing all references of actor to state machine

p-org · Aug 19, 2024 · 6ab6f92 · 6ab6f92
1 parent fa30b79
commit 6ab6f92
Show file tree

Hide file tree

Showing 65 changed files with 894 additions and 1,027 deletions.
diff --git a/Src/PChecker/CheckerCore/Actors/Exceptions/OnEventDroppedHandler.cs b/Src/PChecker/CheckerCore/Actors/Exceptions/OnEventDroppedHandler.cs
diff --git a/Src/PChecker/CheckerCore/Actors/IActorRuntime.cs b/Src/PChecker/CheckerCore/Actors/IActorRuntime.cs
diff --git a/Src/PChecker/CheckerCore/CheckerConfiguration.cs b/Src/PChecker/CheckerCore/CheckerConfiguration.cs
@@ -236,7 +236,7 @@ public int MaxSchedulingSteps
         /// This is the AssemblyQualifiedName of the type to load.
         /// </summary>
         [DataMember]
-        public string CustomActorRuntimeLogType;
+        public string CustomStateMachineRuntimeLogType;
 
         /// <summary>
         /// Enables debugging.

diff --git a/Src/PChecker/CheckerCore/Coverage/ActivityCoverageReporter.cs b/Src/PChecker/CheckerCore/Coverage/ActivityCoverageReporter.cs
@@ -5,7 +5,7 @@
 using System.Collections.Generic;
 using System.IO;
 using System.Linq;
-using PChecker.Actors.Events;
+using PChecker.StateMachines.Events;
 
 namespace PChecker.Coverage
 {