A real-world case of property-based verificationochagavia.nl1 point·wofo··0 commentsOpen articleSaveView on HN