C# (CSharp) Dafny.ErrorReporter示例

示例#1

文件： DafnyHelper.cs 项目： 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();
 }

示例#2

文件： DafnyHelper.cs 项目： dbremner/dafny

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