[Cleanup] Merging PMachine with StateMachine

p-org · Sep 5, 2024 · 3fc6eec · 3fc6eec
1 parent 19a24f0
commit 3fc6eec
Show file tree

Hide file tree

Showing 6 changed files with 176 additions and 314 deletions.
diff --git a/Src/PChecker/CheckerCore/PRuntime/GodMachine.cs b/Src/PChecker/CheckerCore/PRuntime/GodMachine.cs
@@ -9,9 +9,7 @@ public class _GodMachine : StateMachine
         private void InitOnEntry(Event e)
         {
             var mainMachine = (e as Config).MainMachine;
-            CreateStateMachine(mainMachine, mainMachine.Name,
-                new PMachine.InitializeParametersEvent(
-                    new PMachine.InitializeParameters("I_" + mainMachine.Name, null)));
+            CreateStateMachine(mainMachine, mainMachine.Name);
         }
 
         public class Config : Event

diff --git a/Src/PChecker/CheckerCore/PRuntime/PMachine.cs b/Src/PChecker/CheckerCore/PRuntime/PMachine.cs