Perform validating executions

Open pschanely opened this issue 1 year ago • 1 comments

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.

Sep 23 '24 14:09 pschanely

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.

Oct 09 '24 16:10 pschanely