Skip to content

Create capcache64 test, change capcache to RV32 #19

Create capcache64 test, change capcache to RV32

Create capcache64 test, change capcache to RV32 #19

Triggered via pull request April 22, 2024 16:22
Status Success
Total duration 2m 51s
Artifacts

haskell.yml

on: pull_request
Run HLint on the QuickCheck Verification Engine codebase
13s
Run HLint on the QuickCheck Verification Engine codebase
Build the QuickCheck Verification Engine
2m 42s
Build the QuickCheck Verification Engine
Fit to window
Zoom out
Zoom in

Annotations

20 warnings
Run HLint on the QuickCheck Verification Engine codebase: src/InstrCodec.hs#L36
Warning in module InstrCodec: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE MultiParamTypeClasses #-}" ▫︎ Note: may require `{-# LANGUAGE ConstrainedClassMethods #-}` adding to the top of the file Extension MultiParamTypeClasses is implied by FunctionalDependencies
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/Main.hs#L280
Suggestion in main in module Main: Move brackets to avoid $ ▫︎ Found: "(str =~ (fromMaybe \".*\" incReg))\n && (not $ str =~ fromMaybe \"a^\" excReg)" ▫︎ Perhaps: "(str =~ (fromMaybe \".*\" incReg))\n && not (str =~ fromMaybe \"a^\" excReg)"
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/Main.hs#L280
Suggestion in main in module Main: Redundant bracket ▫︎ Found: "str =~ (fromMaybe \".*\" incReg)" ▫︎ Perhaps: "str =~ fromMaybe \".*\" incReg"
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/Main.hs#L378
Suggestion in main in module Main: Use void ▫︎ Found: "f t >> return ()" ▫︎ Perhaps: "void (f t)"
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/Main.hs#L378
Suggestion in main in module Main: Redundant bracket ▫︎ Found: "(numTests <$>)\n . (doCheck (wrapTest <$> (T.genTest testParams template)))" ▫︎ Perhaps: "(numTests <$>)\n . doCheck (wrapTest <$> (T.genTest testParams template))"
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/Main.hs#L378
Suggestion in main in module Main: Redundant bracket ▫︎ Found: "wrapTest <$> (T.genTest testParams template)" ▫︎ Perhaps: "wrapTest <$> T.genTest testParams template"
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/Main.hs#L383
Warning in main in module Main: Use fmap ▫︎ Found: "liftM" ▫︎ Perhaps: "fmap"
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/MainHelpers.hs#L1
Warning in module QuickCheckVEngine.MainHelpers: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE TypeSynonymInstances #-}" ▫︎ Note: Extension TypeSynonymInstances is implied by FlexibleInstances
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/MainHelpers.hs#L88
Warning in showAnnotatedTrace in module QuickCheckVEngine.MainHelpers: Use snd ▫︎ Found: "\\ (a, b) -> b" ▫︎ Perhaps: "snd"
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/MainHelpers.hs#L94
Suggestion in bypassShrink in module QuickCheckVEngine.MainHelpers: Redundant bracket ▫︎ Found: "if is_bypass then\n ((a <>) <$> (singleShrink (s (def0 m_rd_x) (def0 m_rs1_x)) b))\nelse\n []" ▫︎ Perhaps: "if is_bypass then\n (a <>) <$> (singleShrink (s (def0 m_rd_x) (def0 m_rs1_x)) b)\nelse\n []"