Esempi in C# (CSharp) per CodeUnderTest.IteratorSimpleContract.Test2.Test2h

Esempio n. 1

File: RewrittenContractTest.cs Progetto: nbulp/CodeContracts

 public void IteratorNegativePostElemLTMaxConstrained() {
   var test2 = new CodeUnderTest.IteratorSimpleContract.Test2();
   test2.Test2h();
 }