IntersectMBO / IntersectMBO/plutus
Improve testing for Value
Open
Internal
Plinth
status: triaged
tech debt
Test
- Dominant language
- Haskell
- Stars
- 1.6k
- Forks
- 508
- Avg merge
- 3d 10h
- Merged PRs (30d)
- 22
Description
- Add some more property-based tests, e.g.,
- Two values are equal if and only if flattenValue returns the same list
- Two values are equal if and only if they are both equal to their union
- A value remains the same after filtering out all zeros
- Add tests for geq and leq with negative values - See [Revert #5677 (More efficient Value.geq and leq) by zliu41 · Pull Request #5796 · IntersectMBO/plutus](https://github.com/IntersectMBO/plutus/pull/5796)
Extricated from https://input-output.atlassian.net/browse/PLT-9525
Contributor guide
Assessment
This issue has not been assessed yet.