C# (CSharp) Microsoft.PSharp.StaticAnalysis Namespace Documentation

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

Name

Description

The P# on event do machine action.

The P# on event goto machine action.

C# (CSharp) Microsoft.PSharp.StaticAnalysis Namespace