Beispiel #1
0
 private static bool HasEnabledDiagnostics(ISymbolicExecutionAnalyzer analyzer, CompilationOptions options) =>
 analyzer.SupportedDiagnostics.Any(diagnosticDescriptor => IsEnabled(options, diagnosticDescriptor));
Beispiel #2
0
 internal SymbolicExecutionRunner(ISymbolicExecutionAnalyzer analyzer, CancellationToken cancellationToken, int maxSteps)
 {
     this.analyzer      = analyzer;
     _cancellationToken = cancellationToken;
     _maxSteps          = maxSteps;
 }