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)); }