public void NegativeStelemSpecialization1()
{
var st = new DerivedOfClosureWithStelem <string>();
try
{
st.M(new string[] { "a", "b", "c" }, 2);
throw new Exception();
}
catch (TestRewriterMethods.PreconditionException e)
{
Assert.AreEqual(e.Message, ": i + 1 < ts.Length");
}
}
public void NegativeStelemSpecialization1()
{
var st = new DerivedOfClosureWithStelem<string>();
try
{
st.M(new string[] { "a", "b", "c" }, 2);
throw new Exception();
}
catch (TestRewriterMethods.PreconditionException e)
{
Assert.AreEqual(e.Message, ": i + 1 < ts.Length");
}
}
public void PositiveStelemSpecialization1()
{
var st = new DerivedOfClosureWithStelem <string>();
st.M(new string[] { "a", "b", "c" }, 1);
}
public void PositiveStelemSpecialization1()
{
var st = new DerivedOfClosureWithStelem<string>();
st.M(new string[] { "a", "b", "c" }, 1);
}