Esempi in C# (CSharp) per CodeUnderTest.LocalVariableForResult.C.Test1

Esempio n. 1

File: RewrittenContractTest.cs Progetto: nbulp/CodeContracts

 public void NegativeLocalAsResult1() {
   try {
     var c = new CodeUnderTest.LocalVariableForResult.C();
     c.Test1(2);
     throw new Exception("Expected failure did not happen");
   } catch (TestRewriterMethods.PostconditionException p) {
     Assert.AreEqual(": result != false", p.Message);
   }
 }

Esempio n. 2

File: RewrittenContractTest.cs Progetto: nbulp/CodeContracts

 public void PositiveLocalAsResult1() {
   var c = new CodeUnderTest.LocalVariableForResult.C();
   c.Test1(1);
 }