Fix RVC instructions with missing zeroes #16
PeterRugghaskell.yml
on: push
Run HLint on the QuickCheck Verification Engine codebase
8s
Build the QuickCheck Verification Engine
2m 49s
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#L279
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#L279
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#L377
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#L377
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#L377
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#L382
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 []"
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L153
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L154
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L154
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L155
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L155
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L156
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L156
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L157
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L157
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L158
In the use of ‘head’
|