From a6afbe090cabfccd22215bf7e5b08bc46f4ac8a1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Zemanovi=C4=8D?= Date: Wed, 22 Nov 2023 14:00:03 +0100 Subject: [PATCH 1/4] SM: update proptest dep to latest --- proptest-state-machine/Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/proptest-state-machine/Cargo.toml b/proptest-state-machine/Cargo.toml index 965cfb20..38f78b1e 100644 --- a/proptest-state-machine/Cargo.toml +++ b/proptest-state-machine/Cargo.toml @@ -20,7 +20,7 @@ default = ["std"] std = ["proptest/std"] [dependencies] -proptest = { version = "1.2.0", path = "../proptest", default-features = true, features = [ +proptest = { version = "1.4.0", path = "../proptest", default-features = true, features = [ "fork", "timeout", "bit-set", From f896843137c26d469ad0648a430b2cc5aaec0fa8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Zemanovi=C4=8D?= Date: Wed, 22 Nov 2023 14:05:26 +0100 Subject: [PATCH 2/4] SM/test: update number of expected simplifications --- proptest-state-machine/src/strategy.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/proptest-state-machine/src/strategy.rs b/proptest-state-machine/src/strategy.rs index fca723a7..3754301a 100644 --- a/proptest-state-machine/src/strategy.rs +++ b/proptest-state-machine/src/strategy.rs @@ -567,7 +567,7 @@ mod test { /// /// This constant can be determined from the test /// `number_of_sequential_value_tree_simplifications`. - const SIMPLIFICATIONS: usize = 699; + const SIMPLIFICATIONS: usize = 32; /// Number of transitions in the [`deterministic_sequential_value_tree`]. const TRANSITIONS: usize = 32; From 3b44d44f4d5fb6e48b35f17b0fbc9e8091521387 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Zemanovi=C4=8D?= Date: Wed, 22 Nov 2023 14:05:58 +0100 Subject: [PATCH 3/4] SM: bump minor version --- proptest-state-machine/Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/proptest-state-machine/Cargo.toml b/proptest-state-machine/Cargo.toml index 38f78b1e..ab14e9dc 100644 --- a/proptest-state-machine/Cargo.toml +++ b/proptest-state-machine/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "proptest-state-machine" -version = "0.1.0" +version = "0.2.0" authors = ["Tomáš Zemanovič"] license = "MIT OR Apache-2.0" edition = "2018" From 01d92e2d33234eba44bcd01006d483d3ff4262b7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Zemanovi=C4=8D?= Date: Wed, 22 Nov 2023 14:08:40 +0100 Subject: [PATCH 4/4] SM: update changelog --- proptest-state-machine/CHANGELOG.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/proptest-state-machine/CHANGELOG.md b/proptest-state-machine/CHANGELOG.md index 02756482..d698a3d6 100644 --- a/proptest-state-machine/CHANGELOG.md +++ b/proptest-state-machine/CHANGELOG.md @@ -1,5 +1,7 @@ ## Unreleased +## 0.2.0 + ### Other Notes - `message-io` updated from 0.17 to 0.18