reltester (cargo): Automatically verify the correctness of [Partial]Eq/Ord implementations
Keywords: math|property-based-testing|rust