IntersectMBO / IntersectMBO/formal-ledger-specifications
Conformance failure: multiple failing cases
- 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
Assessment
This issue has not been assessed yet.