Ejemplos de CodeUnderTest.IgnoreRuntimeAttributeTest.C en C# (CSharp)

Ejemplo n.º 1

Archivo: RewrittenContractTest.cs Proyecto: nbulp/CodeContracts

 public void NegativeIgnoreRuntimeAttributeTest() {
   try {
     var c = new CodeUnderTest.IgnoreRuntimeAttributeTest.C();
     c.M(2, false);
     throw new Exception("Expected failure did not happen");
   } catch (TestRewriterMethods.PostconditionException p) {
     Assert.AreEqual(": Contract.Result<bool>()", p.Message);
   }
 }

Ejemplo n.º 2

Archivo: RewrittenContractTest.cs Proyecto: nbulp/CodeContracts

 public void PositiveIgnoreRuntimeAttributeTest() {
   var c = new CodeUnderTest.IgnoreRuntimeAttributeTest.C();
   c.M(3, true);
 }