search

pschanely / CrossHair

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

Make set & frozenset constructors symbolic-aware #290

Closed pschanely closed 3 weeks ago

pschanely commented 1 month ago

A variety of hypothesis tests, when run under the crosshair provider, fail to find examples relating to sets.

We'll need to intercept these constructors so that we can produce proxies that avoid hashing. See test_can_find_large_sum_frozenset for a simple example.

pschanely commented 1 month ago

Update: This is on the nontrivial side (and perhaps more likely to introduce regressions), but I think the next most reasonable thing to tackle. Stand by!

pschanely commented 3 weeks ago

Landed in v0.0.68!