Ejemplo n.º 1
0
 public void PositiveInheritResultInContract()
 {
   DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
   o.InheritResult(3, true);
 }
Ejemplo n.º 2
0
 public void NegativeInheritResultInContract()
 {
   DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
   o.InheritResult(3, false);
 }
Ejemplo n.º 3
0
 public void NegativeInheritResultInContract()
 {
   DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
   Assert.Throws<TestRewriterMethods.PostconditionException>(() => o.InheritResult(3, false));
 }