Coverage Report Static Analysis Issue
Ali-Hill opened this issue · comments
Summary
When producing the coverage report for the Governance contract it is reported that the nothing case in the state machine is uncovered. This is intentionally uncovered so I believe it should be considered as ignored by static analysis rather than uncovered.
Steps to reproduce the behavior
Download repository: https://github.com/Ali-Hill/plutus-apps/tree/new-main
From the root of the repository run the following:
nix-shell
cabal repl plutus-use-cases-test
import Spec.Governance
check_propGovernanceWithCoverage
This produces a coverage report it and stores it as Governance.html in the plutus-use-cases directory.
Actual Result
The nothing case in line 207 is reported as uncovered.
Expected Result
The nothing case in line 207 is ignored.
Describe the approach you would take to fix this
No response
System info
OS: Mac
Ali-Hill@f3571c1
The issue is that you're using getCovIdx when you should be using computeRefinedCoverageIndex. I don't know that the design right now is entirely optimal, but I'm also not sure that you want the analysis to be the default... Anyway, that should solve your problem :)