private void ReportWithHeader(string format, params object[] args)
{
StringBuilder builder = new StringBuilder();
builder.Append("========== ");
builder.AppendFormat(format, args);
builder.Append(" ==========");
while (builder.Length < 80)
{
builder.Append('=');
}
Report(builder.ToString(), null);
}