Counter Example generation #652
Draft
Annotations
1 error and 11 warnings
|
hlint
HLint failed with status: 1. Warning (4), Suggestion (6)
|
|
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
hlint:
src/Language/Fixpoint/Counterexample.hs#L3
Warning in module Language.Fixpoint.Counterexample: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE OverloadedStrings #-}"
|
|
hlint:
src/Language/Fixpoint/Counterexample/Build.hs#L27
Warning in module Language.Fixpoint.Counterexample.Build: Use fewer imports ▫︎ Found: "import Control.Monad ( foldM )\nimport Control.Monad ( when, forM )\n" ▫︎ Perhaps: "import Control.Monad ( foldM, when, forM )\n"
|
|
hlint:
src/Language/Fixpoint/Counterexample/Build.hs#L131
Suggestion in addHorn in module Language.Fixpoint.Counterexample.Build: Redundant $ ▫︎ Found: "Body cid $ statements" ▫︎ Perhaps: "Body cid statements"
|
|
hlint:
src/Language/Fixpoint/Counterexample/Check.hs#L1
Warning in module Language.Fixpoint.Counterexample.Check: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE BangPatterns #-}"
|
|
hlint:
src/Language/Fixpoint/Counterexample/SMT.hs#L161
Warning in unscopeSym in module Language.Fixpoint.Counterexample.SMT: Use mapM ▫︎ Found: "sequence $ read' <$> trace" ▫︎ Perhaps: "mapM read' trace"
|
|
hlint:
src/Language/Fixpoint/Counterexample/Types.hs#L63
Suggestion in Prog in module Language.Fixpoint.Counterexample.Types: Redundant bracket ▫︎ Found: "functions :: (HashMap Name Func)" ▫︎ Perhaps: "functions :: HashMap Name Func"
|
|
hlint:
src/Language/Fixpoint/Smt/Theories.hs#L240
Suggestion in seqIndexOf in module Language.Fixpoint.Smt.Theories: Redundant $ ▫︎ Found: "FFunc (FVar 0) $ intSort" ▫︎ Perhaps: "FFunc (FVar 0) intSort"
|
|
hlint:
src/Language/Fixpoint/Smt/Theories.hs#L274
Suggestion in seqContains in module Language.Fixpoint.Smt.Theories: Redundant $ ▫︎ Found: "FFunc (seqSort 0) $ boolSort" ▫︎ Perhaps: "FFunc (seqSort 0) boolSort"
|
|
hlint:
src/Language/Fixpoint/Smt/Theories.hs#L285
Suggestion in seqPrefixOf in module Language.Fixpoint.Smt.Theories: Redundant $ ▫︎ Found: "FFunc (seqSort 0) $ boolSort" ▫︎ Perhaps: "FFunc (seqSort 0) boolSort"
|
|
hlint:
src/Language/Fixpoint/Smt/Theories.hs#L296
Suggestion in seqSuffixOf in module Language.Fixpoint.Smt.Theories: Redundant $ ▫︎ Found: "FFunc (seqSort 0) $ boolSort" ▫︎ Perhaps: "FFunc (seqSort 0) boolSort"
|
Loading