Unnamed boolean arguments not found by `pylint` plugin

AdaCore / RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Apache License 2.0

104 stars 6 forks source link

Unnamed boolean arguments not found by `pylint` plugin #1109

Closed treiher closed 2 years ago

treiher commented 2 years ago

Our pylint plugin does not work anymore. The plugin is loaded by pylint (at least there is an error if I change the load-plugins option in pyproject.toml to an invalid plugin name), but I couldn't find any case where the plugin shows an error.

_Originally posted by @treiher in https://github.com/Componolit/RecordFlux/pull/1106#discussion_r920952294_