# hypo-plugin A plugin to find bugs in a codebase using property-based testing