IntersectMBO / IntersectMBO/ouroboros-consensus
Enable `checktvarinvariant` on CI
Open
better-tests
continuous integration
- Dominant language
- Haskell
- Stars
- 67
- Forks
- 43
- Avg merge
- 5d 13h
- Merged PRs (30d)
- 43
Description
In https://github.com/input-output-hk/ouroboros-network/pull/1040 I added an invariant to enable assertions on `StrictTVars`. We should enable this on CI.
Contributor guide
Assessment
This issue has not been assessed yet.