search

pschanely / CrossHair

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

Improve premature realization heuristics #245

Open pschanely opened 6 months ago

pschanely commented 6 months ago

We should be able to get through code like the code referenced in #243 by realizing inputs early. For some reason, the existing logic for premature realization isn't helping. Let's investigate and improve.