C# (CSharp) Microsoft.PSharp.StaticAnalysis Namespace

Classes

Name Description
OnEventDoMachineAction The P# on event do machine action.
OnEventGotoMachineAction The P# on event goto machine action.