stedolan / crowbar

Property fuzzing for OCaml
MIT License
180 stars 31 forks source link

Shrinking #62

Open sir4ur0n opened 3 years ago

sir4ur0n commented 3 years ago

Hello!

AFAIU there is currently no shrinking feature in Crowbar (I could only find a few words about it in the Wiki design notes).

What's the status on the idea of shrinking in case of test failure?

Thank you for your time!

stedolan commented 3 years ago

The plan for getting shrinking into Crowbar is a three-step process:

  1. Wait for @DRMacIver to write a paper about how to do it properly
  2. Read the paper
  3. Do what it says

Step 1 was completed in November. Steps 2 and 3 haven't happened yet.