Skip to content

v0.5.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 07 Sep 19:52
· 7 commits to main since this release
Immutable release. Only release title and notes can be modified.
v0.5.1
This tag was signed with the committer’s verified signature.
rabuckley Ryan Buckley
GPG key ID: 1B84F2FBCF91A18A
Verified
Learn about vigilant mode.
5360803
This commit was signed with the committer’s verified signature.
rabuckley Ryan Buckley
GPG key ID: 1B84F2FBCF91A18A
Verified
Learn about vigilant mode.

Bug fixes

  • Correct sequential coverage error bounds for rare events (667c13b)
  • Draw Frequency and Elements uniformly however large the weights (f71c78b)
  • (xunit) Fail a property whose body hands back a null task (f9922bf)
  • Charge shrink work by what a replay consumes (78233c2)
  • Report a generated counterexample as it was generated (f620fe8)
  • Keep a fixed-probability boolean out of the choice sequence (9e4bcc8)

Documentation

  • Separate the discard check's posterior from the coverage bound (a0545ba)
  • State the rate a date bound is really forced at (ed53ad3)

Build and tooling

Full changelog: v0.5.0...v0.5.1

Assets 6
Loading