コード例 #1
0
 public ArmadaOptions(ErrorReporter errorReporter = null)
     : base("Dafny", "Dafny program verifier")
 {
     this.errorReporter = errorReporter;
 }