Giters

IntersectMBO / plutus-apps

The Plutus application platform

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Coverage Reports No Longer Working for Contract Models

Ali-Hill opened this issue · comments

commented

Summary

For all of the contract models, I have tested the coverage report shows that all code is uncovered despite it being tested.

For an example see:

check_propEscrowWithCoverage in my branch which has the latest commits merged: https://github.com/Ali-Hill/plutus-apps/tree/new-main/

This issue has also been present when running any other example such as crowdfunding already present in the main plutus-apps repo.

It is not the case that actions are not being covered as changes in the model and unit tests indicate that actions are being successfully run.

Steps to reproduce the behavior

  1. Open nix-shell in repo
  2. Run: cabal repl plutus-use-cases-test
  3. Import Test.QuickCheck and Spec.Escrow
  4. Run: quickCheck prop_Escrow and look at the coverage output

Actual Result

=========[COVERED]==========
========[UNCOVERED]=========
src/Plutus/Contracts/Escrow.hs:179,1-179,37
src/Plutus/Contracts/Escrow.hs:193,1-201,23
src/Plutus/Contracts/Escrow.hs:195,9-195,50
src/Plutus/Contracts/Escrow.hs:195,9-195,59
src/Plutus/Contracts/Escrow.hs:195,21-195,24
src/Plutus/Contracts/Escrow.hs:195,25-195,50
src/Plutus/Contracts/Escrow.hs:195,57-195,59
src/Plutus/Contracts/Escrow.hs:197,30-197,43
src/Plutus/Contracts/Escrow.hs:197,44-197,47
src/Plutus/Contracts/Escrow.hs:197,9-201,23
src/Plutus/Contracts/Escrow.hs:199,30-199,41
src/Plutus/Contracts/Escrow.hs:199,43-199,53
src/Plutus/Contracts/Escrow.hs:199,57-199,66
src/Plutus/Contracts/Escrow.hs:199,17-200,55
src/Plutus/Contracts/Escrow.hs:200,20-200,55
src/Plutus/Contracts/Escrow.hs:200,33-200,40
src/Plutus/Contracts/Escrow.hs:200,42-200,45
src/Plutus/Contracts/Escrow.hs:200,52-200,54
src/Plutus/Contracts/Escrow.hs:201,18-201,23
src/Plutus/Contracts/Escrow.hs:205,1-212,108
src/Plutus/Contracts/Escrow.hs:206,5-212,108
src/Plutus/Contracts/Escrow.hs:208,26-208,48
src/Plutus/Contracts/Escrow.hs:208,50-208,64
src/Plutus/Contracts/Escrow.hs:208,13-209,96
src/Plutus/Contracts/Escrow.hs:209,16-209,96
src/Plutus/Contracts/Escrow.hs:209,29-209,42
src/Plutus/Contracts/Escrow.hs:209,48-209,81
src/Plutus/Contracts/Escrow.hs:209,61-209,80
src/Plutus/Contracts/Escrow.hs:209,82-209,95
src/Plutus/Contracts/Escrow.hs:211,26-211,49
src/Plutus/Contracts/Escrow.hs:211,51-211,71
src/Plutus/Contracts/Escrow.hs:211,52-211,66
src/Plutus/Contracts/Escrow.hs:211,69-211,70
src/Plutus/Contracts/Escrow.hs:211,81-211,117
src/Plutus/Contracts/Escrow.hs:211,13-212,108
src/Plutus/Contracts/Escrow.hs:212,16-212,108
src/Plutus/Contracts/Escrow.hs:212,29-212,41
src/Plutus/Contracts/Escrow.hs:212,43-212,62
src/Plutus/Contracts/Escrow.hs:212,76-212,107
src/Plutus/Contracts/Escrow.hs:389,23-389,56
src/Plutus/Contracts/Escrow.hs:390,23-390,52
src/Plutus/Contracts/Escrow.hs:394,5-394,38
src/Plutus/Contracts/Escrow.hs:394,12-394,38
src/Plutus/Contracts/Escrow.hs:195,9-195,59 = False
src/Plutus/Contracts/Escrow.hs:195,9-195,59 = True
src/Plutus/Contracts/Escrow.hs:199,17-200,55 = False
src/Plutus/Contracts/Escrow.hs:199,17-200,55 = True
src/Plutus/Contracts/Escrow.hs:200,20-200,55 = False
src/Plutus/Contracts/Escrow.hs:200,20-200,55 = True
src/Plutus/Contracts/Escrow.hs:209,16-209,96 = False
src/Plutus/Contracts/Escrow.hs:209,16-209,96 = True
src/Plutus/Contracts/Escrow.hs:211,13-212,108 = False
src/Plutus/Contracts/Escrow.hs:211,13-212,108 = True
src/Plutus/Contracts/Escrow.hs:212,16-212,108 = False
src/Plutus/Contracts/Escrow.hs:212,16-212,108 = True
=========[IGNORED]==========

Expected Result

Most, if not all of this code should be covered.

Describe the approach you would take to fix this

No response

System info

OS: Arch Linux + also tested on M1 Mac
Version: Main branch of plutus-apps