Do not verify lengths in propWithModel
#321
Annotations
10 warnings
src/Protocols/Internal.hs#L50
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
src/Protocols/Internal.hs#L50
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
src/Protocols/Axi4/WriteAddress.hs#L188
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
src/Protocols/Axi4/ReadAddress.hs#L191
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
src/Protocols/Axi4/WriteResponse.hs#L93
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
src/Protocols/Axi4/WriteData.hs#L108
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
src/Protocols/Axi4/ReadData.hs#L114
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
src/Protocols/Axi4/Stream.hs#L105
• Both DeriveAnyClass and GeneralizedNewtypeDeriving are enabled
|
This job succeeded
Loading