Skip to content

Retry assume and .filter inside of #[rule] #128

@Liam-DeVoe

Description

@Liam-DeVoe

We decided not to include #[precondition] in state machines for now, breaking from Hypothesis's design. One consequence of this is we can't filter out invalid rules ahead of time, and any failed assume or .filter inside of stateful rules rejects the entire test case.

The Hegel state machine should wrap each rule and retry failed assumptions up to some limit, rather than aborting the entire test case.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementit's not broken, but we want it to be better

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions