Ejemplos de DafnyLanguage DafnyDriver.ChangeIncrementalVerification en C# (CSharp)

Ejemplo n.º 1

 public int ToggleMoreAdvancedSnapshotVerification(IWpfTextView activeTextView)
 {
     return(DafnyDriver.ChangeIncrementalVerification(2));
 }