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