Integrated with Hypothesis

[mristin]

This patch integrates icontract with Hypothesis so that:

• Preconditions can be used as rejection sampling and
• Preconditions are matched with heuristics to infer better search
  strategies.

[coveralls]

Pull Request Test Coverage Report for Build 538

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage decreased (-92.1%) to 0.0%

---

Totals
Change from base Build 536:	-92.1%
Covered Lines:	0
Relevant Lines:	0

---

💛 - Coveralls

[Zac-HD]

High level feedback

• I really like the concept
• Instead of using a patched builds() and from_type(), let's provide a decorator that users can apply to register an inferred strategy for each class. (it's possible to automate that, but explicit is not always bad)
• Your AST-based approach is lovely, and returning a valid-by-construction strategy instead of rejection sampling is a trick I'd love to move upstream - Return efficient strategies for simple filter predicates, instead of rejection sampling HypothesisWorks/hypothesis#2701
• Once you've finished the icontract-specific Ghostwriter, I'd like to make the upstream ghostwriter extensible so that it can be used seamlessly via the same API and CLI. See Allow third-party extensions of the Ghostwriter HypothesisWorks/hypothesis#2702

As always, great to talk to you and please ping me again when it's ready for another round of review and/or conversation 😃

[mristin]

obsolete