Skip to content

Better test.check support #2170

@cursive-ghost

Description

@cursive-ghost

There's a bit of low-hanging fruit in terms of test.check support:

  1. Indentation & bindings on for-all
  2. Indentation on defspec
  3. probably more...

There are also some changes which are much harder, in particular full test integration for defspec (#632).

Metadata

Metadata

Assignees

No one assigned

    Labels

    newMarks issues describing new featuresreleasedMarks issues which have had the fixes released in a stable build

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions