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

Ejemplo n.º 1

 public bool ToggleAutomaticInduction(IWpfTextView activeTextView)
 {
     return(DafnyDriver.ChangeAutomaticInduction());
 }