Esempi in C# (CSharp) per CodeUnderTest.LegacyPreconditions.C

Esempio n. 1

File: RewrittenContractTest.cs Progetto: nbulp/CodeContracts

 public void NegativeLegacyRequiresIndirectThrow() {
   var c = new CodeUnderTest.LegacyPreconditions.C();
   c.IndirectThrow(-3);
 }

Esempio n. 2

File: RewrittenContractTest.cs Progetto: nbulp/CodeContracts

 public void PositiveLegacyRequiresDirectThrow() {
   var c = new CodeUnderTest.LegacyPreconditions.C();
   c.DirectThrow(3);
 }