public void NegativeAbstractClass() { AbstractClassInterface a = new AbstractClassInterfaceImplementationSubType(); a.M(false); }
public void PositiveAbstractClass() { AbstractClassInterface a = new AbstractClassInterfaceImplementationSubType(); a.M(true); }
public void NegativeAbstractClass() { AbstractClassInterface a = new AbstractClassInterfaceImplementationSubType(); Assert.Throws <TestRewriterMethods.PostconditionException>(() => a.M(false)); }
public void NegativeAbstractClass() { AbstractClassInterface a = new AbstractClassInterfaceImplementationSubType(); a.M(false); }
public void PositiveAbstractClass() { AbstractClassInterface a = new AbstractClassInterfaceImplementationSubType(); a.M(true); }
public void NegativeAbstractClass() { AbstractClassInterface a = new AbstractClassInterfaceImplementationSubType(); Assert.Throws<TestRewriterMethods.PostconditionException>(() => a.M(false)); }