public void Test_ToStringDec_1() { { string str = ToolsZ3.ToStringDec(ToolsZ3.GetTvArray(10, 8)); Assert.AreEqual(str, "10d"); Console.WriteLine(str); } { string str = ToolsZ3.ToStringDec(ToolsZ3.GetTvArray(200, 8)); Assert.AreEqual(str, "200d"); Console.WriteLine(str); } { string str = ToolsZ3.ToStringDec(ToolsZ3.GetTvArray(511, 16)); Assert.AreEqual(str, "511d"); Console.WriteLine(str); } { string str = ToolsZ3.ToStringDec(ToolsZ3.GetTvArray(512, 10)); Assert.AreEqual(str, "512d"); Console.WriteLine(str); } }