C# (CSharp) CodeUnderTest.IfaceContractUsingLocalToHoldSelf.B Examples

Example #1

File: RewrittenContractTest.cs Project: nbulp/CodeContracts

 public void NegativeIfaceContractUsingLocalToHoldSelf2() {
   CodeUnderTest.IfaceContractUsingLocalToHoldSelf.J j = new CodeUnderTest.IfaceContractUsingLocalToHoldSelf.B();
   int[] A = new int[] { 3, 4, 5 };
   j.M(A, false);
 }

Example #2

File: RewrittenContractTest.cs Project: nbulp/CodeContracts

 public void PositiveIfaceContractUsingLocalToHoldSelf() {
   CodeUnderTest.IfaceContractUsingLocalToHoldSelf.J j = new CodeUnderTest.IfaceContractUsingLocalToHoldSelf.B();
   int[] A = new int[] { 3, 4, 5 };
   j.M(A, true);
 }