pschanely / CrossHair

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

CrossHair is missing symbolic support for `str.split` without arguments #223

Open pschanely opened 1 year ago

pschanely commented 1 year ago

This is just an oversight from the original implementation.

If you specify a separator, CrossHair reasons about the split reasonably well; but Python's zero-arg form of split is quite different, behaviorally. At any rate, this should be fairly easy to implement be delegating to a regex.