Closed dkfellows closed 6 years ago
A bunch of linting issues, plus some subtle changes to SpiNNMan (BMP ports really shouldn't be None; it's a nonsense to do that).
None
Coverage increased (+0.02%) to 99.843% when pulling 4a46f566de8f7cd3fb7d865ab75aec4375d07a25 on lint into a55d36a3b7eaecd00894644d5350237ae21ab04f on master.
A bunch of linting issues, plus some subtle changes to SpiNNMan (BMP ports really shouldn't be
None
; it's a nonsense to do that).