C# (CSharp) Microsoft.Armada ErrorReporter Examples

Programming Language: C# (CSharp)

Namespace/Package Name: Microsoft.Armada

Class/Type: ErrorReporter

Examples at hotexamples.com: 1

C# (CSharp) Microsoft.Armada ErrorReporter - 1 examples found. These are the top rated real world C# (CSharp) examples of Microsoft.Armada.ErrorReporter extracted from open source projects. You can rate examples to help us improve the quality of examples.

Frequently Used Methods

Show Hide

Count(1)

Message(1)

Warning(1)

Example #1

Show file

File: ArmadaOptions.cs Project: ScriptBox21/MS-Armada

 public ArmadaOptions(ErrorReporter errorReporter = null)
     : base("Dafny", "Dafny program verifier")
 {
     this.errorReporter = errorReporter;
 }