IntersectMBO / IntersectMBO/ouroboros-consensus
Chain DB: property tests for the model
Open
:wastebasket: :question: possibly stale
better-tests
- Dominant language
- Haskell
- Stars
- 67
- Forks
- 43
- Avg merge
- 5d 13h
- Merged PRs (30d)
- 43
Description
As the ChainDB is a complex beast, even the model implementation is non-trivial. Some things are easy to get wrong, e.g., the iterator implementation.
Also see https://github.com/input-output-hk/ouroboros-network/pull/689#discussion_r298766177.
We need some (more) property tests in `Test.Ouroboros.Storage.ChainDB.Model` to make sure we have a correct model. If the model is incorrect, then the real implementation will probably be also incorrect.
Contributor guide
Assessment
This issue has not been assessed yet.