GitHub - neysofu/reltester: Automatically verify your [Partial]Eq/Ord invariants - discu.eu

Reddit

Reltester: automatically verify the invariants of PartialOrd/PartialEq/Ord/Eq handwritten implementations https://github.com/neysofu/reltester 7 comments 9/3/2023 rust

Linked pages

GitHub - BurntSushi/quickcheck: Automated property based testing for Rust (with shrinking). https://github.com/BurntSushi/quickcheck 28 comments

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - neysofu/reltester: Automatically verify your [Partial]Eq/Ord invariants

See how to search.

Submit link to: