public void Test_ToStringOct_1() { { string str = ToolsZ3.ToStringOct(ToolsZ3.GetTvArray(10, 8)); Console.WriteLine(str); Assert.AreEqual(str, "0o012"); } { string str = ToolsZ3.ToStringOct(ToolsZ3.GetTvArray(200, 8)); Console.WriteLine(str); Assert.AreEqual(str, "0o310"); } { string str = ToolsZ3.ToStringOct(ToolsZ3.GetTvArray(511, 16)); Console.WriteLine(str); Assert.AreEqual(str, "0o000_777"); } { string str = ToolsZ3.ToStringOct(ToolsZ3.GetTvArray(512, 10)); Console.WriteLine(str); Assert.AreEqual(str, "0o1_000"); } }