Make CrossHair aware of typing stubs

Open pschanely opened this issue 4 years ago • 1 comments

Right now, CrossHair can only effectively create symbolic class instances when types are present on the implementation. It would be great if CrossHair could understand .pyi typing stubs and use those when appropriate.

Understanding @overload would have added benefits: we could avoid reporting reporting counterexamples that don't fit one of the given combination of types.

Jan 27 '21 02:01 pschanely

An update: there is now some (pretty experimental) stub parsing code in place. This is only used by register_contract at the moment, but we could try using it for creating class instances and see what happens.

May 20 '22 10:05 pschanely