diff --git a/.changeset/body-cleanups-6f3d.md b/.changeset/body-cleanups-6f3d.md deleted file mode 100644 index 435e2dd..0000000 --- a/.changeset/body-cleanups-6f3d.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Run the cleanups of the check of `check::rejects` and of each attempt of `eventually` when the body ends. diff --git a/.changeset/case-cancels-before-cleanups-4e8b.md b/.changeset/case-cancels-before-cleanups-4e8b.md deleted file mode 100644 index 0a42a7f..0000000 --- a/.changeset/case-cancels-before-cleanups-4e8b.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": patch ---- - -Fix `prop::Case` to stop its cancellation handle before its first cleanup runs. diff --git a/.changeset/case-ends-with-a-fault-3e8f.md b/.changeset/case-ends-with-a-fault-3e8f.md deleted file mode 100644 index 0b00fb5..0000000 --- a/.changeset/case-ends-with-a-fault-3e8f.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -**Breaking:** End the call of a property with the fault that ends a call in one of its cases. diff --git a/.changeset/collector-cleanups-2b7e.md b/.changeset/collector-cleanups-2b7e.md deleted file mode 100644 index 0a01150..0000000 --- a/.changeset/collector-cleanups-2b7e.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Run the cleanups of a `Collector` when it drops, also while its test panics. diff --git a/.changeset/implement-definition-12-0-0-2d9e.md b/.changeset/implement-definition-12-0-0-2d9e.md deleted file mode 100644 index 824db8b..0000000 --- a/.changeset/implement-definition-12-0-0-2d9e.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Implement definition 12.0.0 and write its version into every call record. diff --git a/.changeset/implement-definition-12-1-0-6e4a.md b/.changeset/implement-definition-12-1-0-6e4a.md deleted file mode 100644 index 76d6ee5..0000000 --- a/.changeset/implement-definition-12-1-0-6e4a.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Implement definition 12.1.0 and write its version into every call record. diff --git a/.changeset/implement-definition-12-2-0-8a3d.md b/.changeset/implement-definition-12-2-0-8a3d.md deleted file mode 100644 index 98df3f3..0000000 --- a/.changeset/implement-definition-12-2-0-8a3d.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Implement definition 12.2.0 and write its version into every call record. diff --git a/.changeset/implement-definition-13-0-0-6b2e.md b/.changeset/implement-definition-13-0-0-6b2e.md deleted file mode 100644 index ec49f20..0000000 --- a/.changeset/implement-definition-13-0-0-6b2e.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Implement definition 13.0.0 and write its version into every call record. diff --git a/.changeset/implement-definition-13-1-0-9c2f.md b/.changeset/implement-definition-13-1-0-9c2f.md deleted file mode 100644 index b4b2483..0000000 --- a/.changeset/implement-definition-13-1-0-9c2f.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Implement definition 13.1.0 and write its version into every call record. diff --git a/.changeset/implement-definition-13-2-0-3b8f.md b/.changeset/implement-definition-13-2-0-3b8f.md deleted file mode 100644 index 6806320..0000000 --- a/.changeset/implement-definition-13-2-0-3b8f.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Implement definition 13.2.0 and write its version into every call record. diff --git a/.changeset/implement-definition-13-3-0-2d6e.md b/.changeset/implement-definition-13-3-0-2d6e.md deleted file mode 100644 index 52f5f7b..0000000 --- a/.changeset/implement-definition-13-3-0-2d6e.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Implement definition 13.3.0 and write its version into every call record. diff --git a/.changeset/implement-definition-13-4-0-5c1a.md b/.changeset/implement-definition-13-4-0-5c1a.md deleted file mode 100644 index e39029b..0000000 --- a/.changeset/implement-definition-13-4-0-5c1a.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Implement definition 13.4.0 and write its version into every call record. diff --git a/.changeset/implement-definition-13-5-0-7a3c.md b/.changeset/implement-definition-13-5-0-7a3c.md deleted file mode 100644 index fdcc7a5..0000000 --- a/.changeset/implement-definition-13-5-0-7a3c.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Implement definition 13.5.0 and write its version into every call record. diff --git a/.changeset/implement-definition-13-6-0-4b9e.md b/.changeset/implement-definition-13-6-0-4b9e.md deleted file mode 100644 index 8d3759b..0000000 --- a/.changeset/implement-definition-13-6-0-4b9e.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Implement definition 13.6.0 and write its version into every call record. diff --git a/.changeset/max-live-bytes-2e7a.md b/.changeset/max-live-bytes-2e7a.md deleted file mode 100644 index c159b00..0000000 --- a/.changeset/max-live-bytes-2e7a.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Add `max_live_bytes` to `check` and `soft`, a ceiling on the bytes that a call keeps allocated at each call of a probe. diff --git a/.changeset/observe-call-4d1b.md b/.changeset/observe-call-4d1b.md deleted file mode 100644 index 83da522..0000000 --- a/.changeset/observe-call-4d1b.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Add `Call` and `Seat::observe_call`, so a seat observes every assertion call, a passing one included. diff --git a/.changeset/prop-on-result-2d7a.md b/.changeset/prop-on-result-2d7a.md deleted file mode 100644 index cbe772c..0000000 --- a/.changeset/prop-on-result-2d7a.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Add `prop::on_result` and `prop::RunResult` to hand a function the result of each run of a property. diff --git a/.changeset/prop-run-seed-9b4f.md b/.changeset/prop-run-seed-9b4f.md deleted file mode 100644 index dd1045c..0000000 --- a/.changeset/prop-run-seed-9b4f.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Add `prop::run_seed` to return the seed that a run takes without `prop::seed`. diff --git a/.changeset/recorder-drop-cleanups-8a4c.md b/.changeset/recorder-drop-cleanups-8a4c.md deleted file mode 100644 index dbefdfb..0000000 --- a/.changeset/recorder-drop-cleanups-8a4c.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Run the cleanups that a `Recorder` still keeps when it drops. diff --git a/.changeset/recorder-run-cleanups-3d9f.md b/.changeset/recorder-run-cleanups-3d9f.md deleted file mode 100644 index 2223c57..0000000 --- a/.changeset/recorder-run-cleanups-3d9f.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Add `Recorder::run_cleanups` to run the cleanups that a recorder keeps. diff --git a/.changeset/recursive-of-its-own-type-7b4c.md b/.changeset/recursive-of-its-own-type-7b4c.md deleted file mode 100644 index 197e22f..0000000 --- a/.changeset/recursive-of-its-own-type-7b4c.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -**Breaking:** Decode each value of a type with the position generator inside the extension of a stated `prop::recursive` generator of the type. diff --git a/.changeset/register-histories-8f1c.md b/.changeset/register-histories-8f1c.md deleted file mode 100644 index 00550fd..0000000 --- a/.changeset/register-histories-8f1c.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Check histories of read-write register transactions with `history::is_serializable` and `history::has_snapshot_isolation`. diff --git a/.changeset/rejects-skip-1f7d.md b/.changeset/rejects-skip-1f7d.md deleted file mode 100644 index 9129433..0000000 --- a/.changeset/rejects-skip-1f7d.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -End the call of `check::rejects` as skipped when the check skips before it fails. diff --git a/.changeset/seat-cleanup-7e2b.md b/.changeset/seat-cleanup-7e2b.md deleted file mode 100644 index 159484c..0000000 --- a/.changeset/seat-cleanup-7e2b.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Add `Seat::cleanup`, whose default ends the call with a fault. diff --git a/.changeset/seat-skip-3c8f.md b/.changeset/seat-skip-3c8f.md deleted file mode 100644 index e7c29a8..0000000 --- a/.changeset/seat-skip-3c8f.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Add `Seat::skip`, whose default writes the reason to the standard error, and pass the skip of a property to its seat through it. diff --git a/.changeset/skip-reason-in-the-call-record-5b20.md b/.changeset/skip-reason-in-the-call-record-5b20.md deleted file mode 100644 index c68de0c..0000000 --- a/.changeset/skip-reason-in-the-call-record-5b20.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Write the reason of every skip into the field `reason` of its call record. diff --git a/.changeset/upgrade-ergon-to-v0-17-1c8e.md b/.changeset/upgrade-ergon-to-v0-17-1c8e.md deleted file mode 100644 index 2879819..0000000 --- a/.changeset/upgrade-ergon-to-v0-17-1c8e.md +++ /dev/null @@ -1,4 +0,0 @@ ---- ---- - -Upgrade ergon to v0.17.1. diff --git a/.changeset/write-record-6e2d.md b/.changeset/write-record-6e2d.md deleted file mode 100644 index 4c2ef15..0000000 --- a/.changeset/write-record-6e2d.md +++ /dev/null @@ -1,5 +0,0 @@ ---- -"dokimi-assert": minor ---- - -Add `write_record` to write a record of another kind to the artifact of its kind beside the test binary. diff --git a/Cargo.lock b/Cargo.lock index 5bd36c5..450ba82 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -128,7 +128,7 @@ dependencies = [ [[package]] name = "dokimi-assert" -version = "0.2.0" +version = "0.3.0" dependencies = [ "chrono", "dokimi-assert-derive", @@ -143,7 +143,7 @@ dependencies = [ [[package]] name = "dokimi-assert-conformance" -version = "0.2.0" +version = "0.3.0" dependencies = [ "dokimi-assert", "dokimi-assert-tokio", @@ -156,7 +156,7 @@ dependencies = [ [[package]] name = "dokimi-assert-derive" -version = "0.2.0" +version = "0.3.0" dependencies = [ "dokimi-assert", "proc-macro2", @@ -168,7 +168,7 @@ dependencies = [ [[package]] name = "dokimi-assert-tokio" -version = "0.2.0" +version = "0.3.0" dependencies = [ "dokimi-assert", "serde_json", diff --git a/Cargo.toml b/Cargo.toml index 97f15a6..4065e58 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -11,7 +11,7 @@ members = [ resolver = "3" [workspace.package] -version = "0.2.0" +version = "0.3.0" edition = "2024" rust-version = "1.85" license = "MIT" @@ -21,9 +21,9 @@ categories = ["development-tools::testing"] keywords = ["assertions", "testing", "property-testing", "conformance"] [workspace.dependencies] -dokimi-assert = { path = "crates/dokimi-assert", version = "0.2.0" } -dokimi-assert-derive = { path = "crates/dokimi-assert-derive", version = "0.2.0" } -dokimi-assert-tokio = { path = "crates/dokimi-assert-tokio", version = "0.2.0" } +dokimi-assert = { path = "crates/dokimi-assert", version = "0.3.0" } +dokimi-assert-derive = { path = "crates/dokimi-assert-derive", version = "0.3.0" } +dokimi-assert-tokio = { path = "crates/dokimi-assert-tokio", version = "0.3.0" } chrono = { version = "0.4.45", default-features = false, features = ["std"] } jiff = "0.2.38" proc-macro2 = "1.0.107" diff --git a/crates/dokimi-assert-derive/CHANGELOG.md b/crates/dokimi-assert-derive/CHANGELOG.md index 170b28d..7dfbc7c 100644 --- a/crates/dokimi-assert-derive/CHANGELOG.md +++ b/crates/dokimi-assert-derive/CHANGELOG.md @@ -1,5 +1,9 @@ # dokimi-assert-derive +## 0.3.0 + +No changes in this release. + ## 0.2.0 No changes in this release. diff --git a/crates/dokimi-assert-tokio/CHANGELOG.md b/crates/dokimi-assert-tokio/CHANGELOG.md index f6ec74d..81d3f55 100644 --- a/crates/dokimi-assert-tokio/CHANGELOG.md +++ b/crates/dokimi-assert-tokio/CHANGELOG.md @@ -1,5 +1,12 @@ # dokimi-assert-tokio +## 0.3.0 + +### Patch Changes + +- Updated dependencies [06313eb, 9ebaa1a, d281075, 3b7713e, a011ff6, 34bc092, acb3f71, e48816f, 43169a7, 128d4ec] + - dokimi-assert@0.3.0 + ## 0.2.0 ### Patch Changes diff --git a/crates/dokimi-assert/CHANGELOG.md b/crates/dokimi-assert/CHANGELOG.md index bd5fc76..08c7e04 100644 --- a/crates/dokimi-assert/CHANGELOG.md +++ b/crates/dokimi-assert/CHANGELOG.md @@ -1,5 +1,40 @@ # dokimi-assert +## 0.3.0 + +### Minor Changes + +- 06313eb: Run the cleanups of the check of `check::rejects` and of each attempt of `eventually` when the body ends. +- 9ebaa1a: **Breaking:** End the call of a property with the fault that ends a call in one of its cases. +- 06313eb: Run the cleanups of a `Collector` when it drops, also while its test panics. +- d281075: Implement definition 12.0.0 and write its version into every call record. +- 3b7713e: Implement definition 12.1.0 and write its version into every call record. +- a011ff6: Implement definition 12.2.0 and write its version into every call record. +- 9ebaa1a: Implement definition 13.0.0 and write its version into every call record. +- 34bc092: Implement definition 13.1.0 and write its version into every call record. +- acb3f71: Implement definition 13.2.0 and write its version into every call record. +- e48816f: Implement definition 13.3.0 and write its version into every call record. +- 06313eb: Implement definition 13.4.0 and write its version into every call record. +- 43169a7: Implement definition 13.5.0 and write its version into every call record. +- 128d4ec: Implement definition 13.6.0 and write its version into every call record. +- acb3f71: Add `max_live_bytes` to `check` and `soft`, a ceiling on the bytes that a call keeps allocated at each call of a probe. +- 34bc092: Add `Call` and `Seat::observe_call`, so a seat observes every assertion call, a passing one included. +- 128d4ec: Add `prop::on_result` and `prop::RunResult` to hand a function the result of each run of a property. +- 43169a7: Add `prop::run_seed` to return the seed that a run takes without `prop::seed`. +- 06313eb: Run the cleanups that a `Recorder` still keeps when it drops. +- 06313eb: Add `Recorder::run_cleanups` to run the cleanups that a recorder keeps. +- d281075: **Breaking:** Decode each value of a type with the position generator inside the extension of a stated `prop::recursive` generator of the type. +- e48816f: Check histories of read-write register transactions with `history::is_serializable` and `history::has_snapshot_isolation`. +- 3b7713e: End the call of `check::rejects` as skipped when the check skips before it fails. +- 06313eb: Add `Seat::cleanup`, whose default ends the call with a fault. +- 3b7713e: Add `Seat::skip`, whose default writes the reason to the standard error, and pass the skip of a property to its seat through it. +- 3b7713e: Write the reason of every skip into the field `reason` of its call record. +- 43169a7: Add `write_record` to write a record of another kind to the artifact of its kind beside the test binary. + +### Patch Changes + +- 06313eb: Fix `prop::Case` to stop its cancellation handle before its first cleanup runs. + ## 0.2.0 ### Minor Changes