C# (CSharp) Microsoft.PSharp.Runtime Namespace

Classes

Name Description
AssertionFailureException The exception that is thrown by the P# runtime upon assertion failure.
MachineActionExceptionFilterException The exception that is thrown by the P# runtime upon a machine action failure.
PushStateTransition Defines a push state transition.
RuntimeException