Ejemplos de Dafny.ErrorReporter en C# (CSharp)

Ejemplo n.º 1

Archivo: DafnyHelper.cs Proyecto: mnsamad/dafny-1

 public DafnyHelper(string[] args, string fname, string source)
 {
     this.args     = args;
     this.fname    = fname;
     this.source   = source;
     this.reporter = new Dafny.ConsoleErrorReporter();
 }

Ejemplo n.º 2

Archivo: DafnyHelper.cs Proyecto: dbremner/dafny

 public DafnyHelper(string[] args, string fname, string source)
 {
     this.args = args;
       this.fname = fname;
       this.source = source;
       this.reporter = new Dafny.ConsoleErrorReporter();
 }