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