runtimeverification / kontrol

BSD 3-Clause "New" or "Revised" License
55 stars 9 forks source link

RichHandler: Increase width of the logger #881

Closed anvacaru closed 2 weeks ago

anvacaru commented 2 weeks ago

A downside of using the RichHandler is the logger's fixed width. When --verbose or --debug is used, lines longer than the default width are wrapped on a new line, and lines shorter are padded with whitespace.

Here, I'm increasing the width to 1500.

anvacaru commented 2 weeks ago

Closing in favor of #882