Skip to content

v0.5.0

Choose a tag to compare

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

Features

  • Generate command sequences against a model (1f46bb9)
  • Report a generator that throws (45944b5)
  • Draw dates uniformly over their range (813f52c)

Bug fixes

  • Indent the continuation lines of a counterexample and its exception message (fd52ec4)
  • Keep shrinking on the failure site the check found (56bc77f)

Documentation

  • Describe stateful testing (759b9a6)

Tests

  • Pin the shrink minima of command sequences (deb6abc)
  • (xunit) Run a command sequence parameter from a named generator (98401ad)

Build and tooling

  • Improve generated notes (b1a9d14)

Full changelog: v0.4.0...v0.5.0

Assets 6
Loading