public void Liv_FindLinearIncrement()
{
List <SsaIdentifier> a = BuildScc();
LinearInductionVariableFinder liv = new LinearInductionVariableFinder(null, dom);
Constant c = liv.FindLinearIncrement(a);
Assert.AreEqual(4, c.ToInt32());
Assert.AreEqual("a_3 = a_2 + 4<32>", liv.Context.DeltaStatement.ToString());
}
public void Liv_FindLinearIncrement()
{
List<SsaIdentifier> a = BuildScc();
LinearInductionVariableFinder liv = new LinearInductionVariableFinder(null, null, dom);
Constant c = liv.FindLinearIncrement(a);
Assert.AreEqual(4, c.ToInt32());
Assert.AreEqual("a_2 = a_1 + 0x00000004", liv.Context.DeltaStatement.ToString());
}
