v0.6.0

Breaking changes

• Lift Precondition and Update into IModelCommand (392a917)

Features

• Run command sequences against asynchronous systems (dd7743e)

Bug fixes

• Keep the failure report when a counterexample cannot format (156fc3d)

Documentation

• Fix typos (443512e)
• Describe asynchronous stateful testing (9931b17)

Tests

• Pin the shrink minima of asynchronous command sequences (16e9f4c)
• (xunit) Run an asynchronous command sequence parameter from a named generator (e115b66)

Full changelog: v0.5.1...v0.6.0

v0.5.1

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

• Update gitignore (5360803)

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

v0.5.0

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

v0.4.0

Features

• Pin explicit examples with Example
• (xunit) Pin examples with [Example]
• Build and sequence generators
• State a credible interval for the true rate on the Cover warning line
• Merge sibling collections in the shrinker
• State the estimated discard rate in the exhausted report
• Give up early when the discard rate is statistically hopeless
• Expose MaxDiscardRatio on the xUnit Property attribute

Bug fixes

• Keep the counterexample when a shrink candidate's generator throws
• Stop a replayed example warning about coverage

Performance

• Record one span for coincident draws

Refactoring

• Share the body ladder between example runs
• (xunit) Use Generate.Sequence

Documentation

• Describe Build and Sequence

Tests

• Pin the shrink minima that Build must preserve
• Replay a Build counterexample from its token

Build and tooling

• Build release notes with git-cliff

Full changelog: v0.3.0...v0.4.0

v0.3.0

Full Changelog: v0.2.0...v0.3.0

v0.2.0

Full Changelog: v0.1.0...v0.2.0