public void NegativeOutOfBandRequires2()
{
var c = new OutOfBand.C();
var foo = new OutOfBand.Foo(0);
c.FooMethodTakingTypeFromSameAssembly(foo);
}
public void NegativeOutOfBandRequires2()
{
var c = new OutOfBand.C();
var foo = new OutOfBand.Foo(-1);
Assert.Throws <TestRewriterMethods.PostconditionException>(() => c.FooMethodTakingTypeFromSameAssembly(foo));
}
public void NegativeOutOfBandRequires2()
{
var c = new OutOfBand.C();
var foo = new OutOfBand.Foo(-1);
Assert.Throws<TestRewriterMethods.PostconditionException>(() => c.FooMethodTakingTypeFromSameAssembly(foo));
}
public void PositiveOutOfBandRequires()
{
var c = new OutOfBand.C();
var foo = new OutOfBand.Foo(1);
c.FooMethodTakingTypeFromSameAssembly(foo);
}