public void NegativeIFaceWithMethodCalInContract2() { IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract(); o.M(5); }
public void PositiveIFaceWithMethodCalInContract() { IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract(); o.M(1); }
public void NegativeIFaceWithMethodCalInContract2() { IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract(); Assert.Throws <TestRewriterMethods.PostconditionException>(() => o.M(5)); }
public void NegativeIFaceWithMethodCalInContract2() { IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract(); o.M(5); }
public void PositiveIFaceWithMethodCalInContract() { IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract(); o.M(1); }
public void NegativeIFaceWithMethodCalInContract2() { IFaceWithMethodCallInContract o = new ImplForIFaceWithMethodCallInContract(); Assert.Throws<TestRewriterMethods.PostconditionException>(() => o.M(5)); }