C# (CSharp) Microsoft.PSharp.DynamicAnalysis AnalysisContext.FindEntryPoint Examples

Example #1

 /// <summary>
 /// Setups the analysis context.
 /// </summary>
 private static void Setup()
 {
     AnalysisContext.SetupSchedulingStrategy();
     AnalysisContext.FindEntryPoint();
 }