IntersectMBO / IntersectMBO/formal-ledger-specifications

Conformance failure: multiple failing cases

Open
#926 1 comment 0 reactions 0 assignees View on GitHub
conformance investigation
Dominant language
Agda
Stars
52
Forks
20
Avg merge
6d 14h
Merged PRs (30d)
7

Description

This issues collects the remaining conformance imp test failures:

- [x] ENACT
+ [x] Treasury withdrawals/Withdrawals exceeding treasury submitted in a single proposal (#960)
+ [x] Treasury withdrawals/Withdrawals exceeding treasury submitted in several proposals within the same epoch (#960)
- [ ] LEDGER
+ [ ] Withdraw from a key delegated to a DRep that expired after delegation (combination of #929 and #923)
- [ ] RATIFY
+ [ ] Voting/Active voting stake/DRep/Rewards contribute to active voting stake even in the absence of StakeDistr (combination of #929, #992 and https://github.com/IntersectMBO/cardano-ledger/issues/5014)
+ [x] Voting/Active voting stake/Predefined DReps/AlwaysNoConfidence (see #635)
+ [ ] Voting/Active voting stake/StakePool/Rewards contribute to active voting stake even in the absence of StakeDistr (Might be related to https://github.com/IntersectMBO/cardano-ledger/issues/5420)
+ [x] Voting/Active voting stake/StakePool/Proposal deposits contribute to active voting stake/Directly (see #928)
+ [x] Voting/Active voting stake/StakePool/Proposal deposits contribute to active voting stake/After switching delegations (see #928)
- [ ] UTXO
+ [x] Certificates/Reg/UnReg collect and refund correct amounts (#949)

To execute any of these tests run:
```shell
cabal test cardano-ledger-conformance --test-options='--match "PATTERN"'
```
where `PATTERN` is any of the items in the list.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.