Add 'unstructured' template that tests random instruction bit patterns #59
PeterRugghaskell.yml
on: pull_request
Run HLint on the QuickCheck Verification Engine codebase
14s
Build the QuickCheck Verification Engine
4m 35s
Annotations
3 errors and 22 warnings
|
Build the QuickCheck Verification Engine:
src/QuickCheckVEngine/Templates/GenUnstructured.hs#L39
Could not find module ‘QuickCheckVEngine.Templates.Utils’.
|
|
Build the QuickCheck Verification Engine:
src/QuickCheckVEngine/Main.hs#L274
Variable not in scope: gen_unstructured :: T.Template
|
|
Build the QuickCheck Verification Engine
Process completed with exit code 1.
|
|
Run HLint on the QuickCheck Verification Engine codebase
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
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/InstrCodec.hs#L129
Warning in unscatter in module InstrCodec: Use replicate ▫︎ Found: "take lsb $ repeat False" ▫︎ Perhaps: "replicate lsb False"
|
|
Run HLint on the QuickCheck Verification Engine codebase:
src/QuickCheckVEngine/Main.hs#L286
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#L286
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#L304
Warning in main in module Main: Use any ▫︎ Found: "or (hasTrap <$> trace)" ▫︎ Perhaps: "any hasTrap trace"
|
|
Run HLint on the QuickCheck Verification Engine codebase:
src/QuickCheckVEngine/Main.hs#L346
Suggestion in main in module Main: Redundant bracket ▫︎ Found: "if (optSaveAll flags) then (saveDir flags) else Nothing" ▫︎ Perhaps: "if optSaveAll flags then (saveDir flags) else Nothing"
|
|
Run HLint on the QuickCheck Verification Engine codebase:
src/QuickCheckVEngine/Main.hs#L346
Suggestion in main in module Main: Redundant bracket ▫︎ Found: "if (optSaveAll flags) then (saveDir flags) else Nothing" ▫︎ Perhaps: "if (optSaveAll flags) then saveDir flags else Nothing"
|
|
Run HLint on the QuickCheck Verification Engine codebase:
src/QuickCheckVEngine/Main.hs#L386
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#L386
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#L386
Suggestion in main in module Main: Redundant bracket ▫︎ Found: "wrapTest <$> (T.genTest testParams template)" ▫︎ Perhaps: "wrapTest <$> T.genTest testParams template"
|
|
Build the QuickCheck Verification Engine
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build the QuickCheck Verification Engine:
src/RISCV/RV_CSRs.hs#L79
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/RV_CSRs.hs#L80
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/RV_CSRs.hs#L81
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/RV_CSRs.hs#L87
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/RV_CSRs.hs#L88
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/RV_CSRs.hs#L89
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/RV_CSRs.hs#L95
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/RV_CSRs.hs#L96
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/RV_CSRs.hs#L97
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/RV_CSRs.hs#L196
In the use of ‘head’
|