A real-world case of property-based verification (by wofo) — discussion

#rust #testing