示例#1
0
 public DafnyHelper(string[] args, string fname, string source)
 {
     this.args     = args;
     this.fname    = fname;
     this.source   = source;
     this.reporter = new Dafny.ConsoleErrorReporter();
 }
示例#2
0
 public DafnyHelper(string[] args, string fname, string source)
 {
     this.args = args;
       this.fname = fname;
       this.source = source;
       this.reporter = new Dafny.ConsoleErrorReporter();
 }