public void Test_StaticFlow_HasCodePath_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);
}
Assert.IsTrue(flow.HasCodePath(1, 4));
Assert.IsFalse(flow.HasCodePath(5, 4));
Assert.IsFalse(flow.HasCodePath(1, 0));
}
