public void Test_StaticFlow_FutureLineNumbers_1()
{
string programStr =
" mov rax, 10 ;line 0 " + Environment.NewLine +
"label1: ;line 1 " + Environment.NewLine +
" mov rbx, 1 ;line 2 " + Environment.NewLine +
" dec rax ;line 3 " + Environment.NewLine +
" jnz label1 ;line 4 " + Environment.NewLine +
" mov rcx, 1 ;line 5 ";
StaticFlow flow = new StaticFlow(new Tools());
flow.Update(programStr, false);
if (logToDisplay)
{
Console.WriteLine(flow);
}
var v = flow.FutureLineNumbers(1);
Console.WriteLine("Number of elements: " + v.Count + ": " + String.Join(",", v));
Assert.IsFalse(v.Contains(0));
Assert.IsTrue(v.Contains(1));
Assert.IsTrue(v.Contains(2));
Assert.IsTrue(v.Contains(3));
Assert.IsTrue(v.Contains(4));
Assert.IsTrue(v.Contains(5));
}
