Remove GodMachine, CoyoteRuntime; Fix Raise statement in Monitor#772

Merged

ankushdesai merged 3 commits intocleanup/Simplify_PCheckerfrom cleanup/Simplify_PChecker_Christine

Sep 10, 2024

+380-909

Commits on Sep 8, 2024

[Cleanup] Remove GodMachine, reformat PChecker folder, add assert false after raise test case
Christine Zhou
committed

Commits on Sep 9, 2024

[Cleanup] Remove IStateMachineRuntime, ICyoteRuntime, CyoteRuntime
Christine Zhou
committed
[Cleanup] Fixing monitor Raise statement + unit tests
Christine Zhou
committed