Search results

Optionally "warm start" crosshair with a high-coverage set of inputs

Status: Open.

#26 In pschanely/hypothesis-crosshair;

· Zac-HD opened on Mar 26, 2025

Ensure concrete re-executions are resilient to behavior variation

Status: Open.

#25 In pschanely/hypothesis-crosshair;

· pschanely opened on Mar 18, 2025

CrossHairInternal: Not in a statespace context error on tests with Pytest fixtures

Status: Open.

#24 In pschanely/hypothesis-crosshair;

· Zac-HD opened on Jan 26, 2025

Can we ask Z3 to maximize the value of arguments to hypothesis.target()?

Status: Open.

#3 In pschanely/hypothesis-crosshair;

· Zac-HD opened on Mar 19, 2024

Test against hypothesis-jsonschema

Status: Open.

#2 In pschanely/hypothesis-crosshair;

· pschanely opened on Mar 15, 2024