public void NegativeInheritResultInQuantifier()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int[] A = new int[] { 3, 4, 5 };
o.InheritResultInQuantifier(A, false);
}
public void NegativeInheritOld()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int z = 3;
o.InheritOld(ref z, false);
}
public void PositiveInheritOldInQuantifier()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int[] A = new int[] { 3, 4, 5 };
o.InheritOldInQuantifier(A, true);
}
public void NegativeInheritResultInQuantifier()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int[] A = new int[] { 3, 4, 5 };
Assert.Throws <TestRewriterMethods.PostconditionException>(() => o.InheritResultInQuantifier(A, false));
}
public void PositiveInheritOld()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int z = 3;
o.InheritOld(ref z, true);
}
public void NegativeInheritOld()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int z = 3;
Assert.Throws <TestRewriterMethods.PostconditionException>(() => o.InheritOld(ref z, false));
}
public void NegativeInheritResultInContract()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
o.InheritResult(3, false);
}
public void PositiveInheritResultInContract()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
o.InheritResult(3, true);
}
public void NegativeInheritResultInQuantifier()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int[] A = new int[] { 3, 4, 5 };
o.InheritResultInQuantifier(A, false);
}
public void PositiveInheritResultInContract()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
o.InheritResult(3, true);
}
public void NegativeInheritResultInContract()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
o.InheritResult(3, false);
}
public void PositiveInheritOldInQuantifier()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int[] A = new int[] { 3, 4, 5 };
o.InheritOldInQuantifier(A, true);
}
public void NegativeInheritOld()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int z = 3;
o.InheritOld(ref z, false);
}
public void PositiveInheritOld()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int z = 3;
o.InheritOld(ref z, true);
}
public void NegativeInheritResultInQuantifier()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
int[] A = new int[] { 3, 4, 5 };
Assert.Throws<TestRewriterMethods.PostconditionException>(() => o.InheritResultInQuantifier(A, false));
}
public void NegativeInheritResultInContract()
{
DerivedFromBaseClassWithOldAndResult o = new DerivedFromBaseClassWithOldAndResult();
Assert.Throws<TestRewriterMethods.PostconditionException>(() => o.InheritResult(3, false));
}
