IntersectMBO / IntersectMBO/cardano-ledger

Make constrained generators generate more proposals that pass

Open
#4,559 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Haskell
Stars
295
Forks
179
Avg merge
4d 7h
Merged PRs (30d)
29

Description

Currently the constrained generators are pretty unlikely to generate a proposal that gets enacted. Right now all the votes are generated randomly and a large part of the votes are invalid which means that the proposals only get passed in a small percentage of test cases and they usually tend to be `NoConfidence` proposals, because those only need to be approved by DReps.

I think a better way to do this would be the other way around where we decide ahead of time whether a proposal should be passed and then generate the votes accordingly.

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.