PLT-8605: Code coverage support

[sjoerdvisscher]

Pre-submit checklist:

• Branch
  • Tests are provided (if possible)
  • Commit sequence broadly makes sense and have useful messages
  • Important changes are reflected in changelog.d of the affected packages
  • Relevant tickets are mentioned in commit messages
• PR
  • (For external contributions) Corresponding issue exists and is linked in the description
  • Targeting main unless this is a cherry-pick backport
  • Self-reviewed the diff
  • Useful pull request description
  • If relevant, reference the ADR in the PR and reference the PR in the ADR
  • Reviewer requested

[brendanrbrown]

Is the intention to produce the code coverage report HTML when running cabal test?

If so, I needed to add the following lines to cabal.project to allow the coverage report html to be written when running cabal test all.

package *
  coverage: True
  library-coverage: True

cabal test --enable-coverage cardano-node-emulator did not work for me because of this issue, with plutus-ledger-api as the offending library:

haskell/cabal#6440

I did not need to use the workaround in that issue, though. The lines quoted above were enough.

[sjoerdvisscher]

Ah sorry no, the intention is to enable code coverage for plutus scripts.

To try it out do
cabal repl cardano-node-emulator-test
:l Plutus.Examples.EscrowSpec
checkPropEscrowWithCoverage

Which, after a while, outputs an Escrow.html file.

[brendanrbrown]

Neat, thanks.