search

pschanely / CrossHair

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

Allow multiple ranges for SymbolicBoundedIntTuple #232

Closed pschanely closed 9 months ago