search

pschanely / CrossHair

An analysis tool for Python that blurs the line between testing and type systems.
Other
996 stars 47 forks source link

Add symbolic frozenset and concrete+symbolic indexing support #300

Closed pschanely closed 3 weeks ago