private void DisplayOptions()
{
logger.WriteLineHeader($"{BenchmarkDotNetInfo.FullTitle}");
logger.WriteLine();
logger.WriteLineHeader("Options:");
var consoleWidth = 80;
try
{
consoleWidth = Console.WindowWidth;
}
// IOException causes build error
// The type 'IOException' exists in both
// 'System.IO, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a' and
// 'System.Runtime, Version=4.0.20.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'
// TODO see if this error goes away after RC2, in the meantime just use "catch (Exception)"
catch (Exception)
{
logger.WriteLine($"Unable to get the Console width, defaulting to {consoleWidth}");
}
ManualConfig.PrintOptions(logger, prefixWidth: 30, outputWidth: consoleWidth);
logger.WriteLine();
typeParser.PrintOptions(prefixWidth: 30, outputWidth: consoleWidth);
}
private void DisplayOptions()
{
logger.WriteLineHeader($"{BenchmarkDotNetInfo.FullTitle}");
logger.WriteLine();
logger.WriteLineHeader("Options:");
ManualConfig.PrintOptions(logger, prefixWidth: 30, outputWidth: Console.WindowWidth);
logger.WriteLine();
typeParser.PrintOptions(logger, prefixWidth: 30, outputWidth: Console.WindowWidth);
}