search

pschanely / CrossHair

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

Perform validating executions #309

Open pschanely opened 2 months ago

pschanely commented 2 months ago

There's a few ways that CrossHair can behave subtly different than CPython. Many path executions won't implement true IEEE float semantics, it could use an impossible set iteration order, etc.

In these cases, we could realize the inputs and re-run the execution with those.

pschanely commented 1 month ago

The hypothesis-crosshair plugin (as of v0.0.16) now performs this kind of re-execution. There is no support in CrossHair proper yet, however.