Skip to content

v0.6.0

Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Sep 18:21
Immutable release. Only release title and notes can be modified.
v0.6.0
This tag was signed with the committer’s verified signature.
rabuckley Ryan Buckley
GPG key ID: 1B84F2FBCF91A18A
Verified
Learn about vigilant mode.
156fc3d
This commit was signed with the committer’s verified signature.
rabuckley Ryan Buckley
GPG key ID: 1B84F2FBCF91A18A
Verified
Learn about vigilant mode.

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

Assets 6
Loading