-
Notifications
You must be signed in to change notification settings - Fork 211
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Decrease coverage requirement in UTxOIndexSpec #2574
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do you happen to know why cover 80
was chosen before, and why it's now too much?
I simply saw the #2575 failure, and thought it was an innocent slightly-to-strict |
When we originally set these coverage requirements, the average real coverage was consistently higher. (I recall running these tests hundreds of times to make sure.) However, if the underlying generators have recently been changed, then the average coverage could have dropped, causing the tests to sporadically fail. Nevertheless, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
bors r+ |
2574: Decrease coverage requirement in UTxOIndexSpec r=Anviking a=Anviking # Issue Number #2575 <!-- Put here a reference to the issue that this PR relates to and which requirements it tackles. Jira issues of the form ADP- will be auto-linked. --> # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Decrease all `coverage 80` to `coverage 70` inside UTxOIndexSpec # Comments <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io>
Build failed: |
bors r+ |
2574: Decrease coverage requirement in UTxOIndexSpec r=Anviking a=Anviking # Issue Number #2575 <!-- Put here a reference to the issue that this PR relates to and which requirements it tackles. Jira issues of the form ADP- will be auto-linked. --> # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Decrease all `coverage 80` to `coverage 70` inside UTxOIndexSpec # Comments <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io>
Build failed: |
bors r+ |
2574: Decrease coverage requirement in UTxOIndexSpec r=Anviking a=Anviking # Issue Number #2575 <!-- Put here a reference to the issue that this PR relates to and which requirements it tackles. Jira issues of the form ADP- will be auto-linked. --> # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Decrease all `coverage 80` to `coverage 70` inside UTxOIndexSpec # Comments <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io>
Build failed:
|
bors r+ |
2574: Decrease coverage requirement in UTxOIndexSpec r=Anviking a=Anviking # Issue Number #2575 <!-- Put here a reference to the issue that this PR relates to and which requirements it tackles. Jira issues of the form ADP- will be auto-linked. --> # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Decrease all `coverage 80` to `coverage 70` inside UTxOIndexSpec # Comments <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io>
Build failed:
|
bors r+ |
2574: Decrease coverage requirement in UTxOIndexSpec r=Anviking a=Anviking # Issue Number #2575 <!-- Put here a reference to the issue that this PR relates to and which requirements it tackles. Jira issues of the form ADP- will be auto-linked. --> # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Decrease all `coverage 80` to `coverage 70` inside UTxOIndexSpec # Comments <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io>
Build failed: |
4b32e03
to
6b4a6ee
Compare
bors r+ |
2574: Decrease coverage requirement in UTxOIndexSpec r=Anviking a=Anviking # Issue Number #2575 <!-- Put here a reference to the issue that this PR relates to and which requirements it tackles. Jira issues of the form ADP- will be auto-linked. --> # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Decrease all `coverage 80` to `coverage 70` inside UTxOIndexSpec # Comments <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io>
Build failed:
|
bors r+ |
2574: Decrease coverage requirement in UTxOIndexSpec r=Anviking a=Anviking # Issue Number #2575 <!-- Put here a reference to the issue that this PR relates to and which requirements it tackles. Jira issues of the form ADP- will be auto-linked. --> # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Decrease all `coverage 80` to `coverage 70` inside UTxOIndexSpec # Comments <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io>
Build failed: |
Has been failing twice recently. Latest failure was Failures: test/unit/Cardano/Wallet/Primitive/Types/UTxOIndexSpec.hs:146:9: 1) Cardano.Wallet.Primitive.Types.UTxOIndex, Indexed UTxO set properties, Index Selection, prop_selectRandom_one_withAsset Insufficient coverage (after 800 tests): 89.5% index has more than one asset 71.1% index has the specified asset 71.1% selected an entry Only 71.1% index has the specified asset, but expected 80.0% Only 71.1% selected an entry, but expected 80.0% To rerun use: --match "/Cardano.Wallet.Primitive.Types.UTxOIndex/Indexed UTxO set properties/Index Selection/prop_selectRandom_one_withAsset/" test/unit/Cardano/Wallet/Primitive/Types/UTxOIndexSpec.hs:148:9: 2) Cardano.Wallet.Primitive.Types.UTxOIndex, Indexed UTxO set properties, Index Selection, prop_selectRandom_one_withAssetOnly Insufficient coverage (after 800 tests): 89.5% index has more than one asset 71.1% index has the specified asset 22.5% selected an entry Only 71.1% index has the specified asset, but expected 80.0% To rerun use: --match "/Cardano.Wallet.Primitive.Types.UTxOIndex/Indexed UTxO set properties/Index Selection/prop_selectRandom_one_withAssetOnly/" test/unit/Cardano/Wallet/Primitive/Types/UTxOIndexSpec.hs:154:9: 3) Cardano.Wallet.Primitive.Types.UTxOIndex, Indexed UTxO set properties, Index Selection, prop_selectRandom_all_withAsset Insufficient coverage (after 800 tests): 89.5% index has more than one asset 71.1% index has the specified asset 71.1% selected at least one entry Only 71.1% index has the specified asset, but expected 80.0% Only 71.1% selected at least one entry, but expected 80.0% To rerun use: --match "/Cardano.Wallet.Primitive.Types.UTxOIndex/Indexed UTxO set properties/Index Selection/prop_selectRandom_all_withAsset/" test/unit/Cardano/Wallet/Primitive/Types/UTxOIndexSpec.hs:156:9: 4) Cardano.Wallet.Primitive.Types.UTxOIndex, Indexed UTxO set properties, Index Selection, prop_selectRandom_all_withAssetOnly Insufficient coverage (after 800 tests): 89.5% index has more than one asset 71.1% index has the specified asset 22.5% selected at least one entry Only 71.1% index has the specified asset, but expected 80.0% To rerun use: --match "/Cardano.Wallet.Primitive.Types.UTxOIndex/Indexed UTxO set properties/Index Selection/prop_selectRandom_all_withAssetOnly/"
6b4a6ee
to
d4c29e2
Compare
bors r+ |
2574: Decrease coverage requirement in UTxOIndexSpec r=Anviking a=Anviking # Issue Number #2575 <!-- Put here a reference to the issue that this PR relates to and which requirements it tackles. Jira issues of the form ADP- will be auto-linked. --> # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Decrease all `coverage 80` to `coverage 70` inside UTxOIndexSpec # Comments <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io>
Build failed: |
bors r+ |
2574: Decrease coverage requirement in UTxOIndexSpec r=Anviking a=Anviking # Issue Number #2575 <!-- Put here a reference to the issue that this PR relates to and which requirements it tackles. Jira issues of the form ADP- will be auto-linked. --> # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Decrease all `coverage 80` to `coverage 70` inside UTxOIndexSpec # Comments <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io>
Build failed: #duplicate (cached failure) |
bors r+ |
2574: Decrease coverage requirement in UTxOIndexSpec r=Anviking a=Anviking # Issue Number #2575 <!-- Put here a reference to the issue that this PR relates to and which requirements it tackles. Jira issues of the form ADP- will be auto-linked. --> # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Decrease all `coverage 80` to `coverage 70` inside UTxOIndexSpec # Comments <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Jira will detect and link to this PR once created, but you can also link this PR in the description of the corresponding ticket ✓ Acknowledge any changes required to the Wiki ✓ Finally, in the PR description delete any empty sections and all text commented in <!--, so that this text does not appear in merge commit messages. --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io>
Build failed:
|
bors r+ |
Build succeeded: |
Issue Number
#2575
Overview
coverage 80
tocoverage 70
inside UTxOIndexSpecComments