From 8ac7e3fee7cca6e8cfc4bffaf6ae0e480e028022 Mon Sep 17 00:00:00 2001
From: Tomas Zemanovic <tzemanovic@gmail.com>
Date: Sun, 15 Dec 2024 19:25:02 +0000
Subject: [PATCH] state-machine: prepare v0.3.1 patch release (#535)

* SM: prepare changelog for v0.3.1

* SM: bump version for patch release v0.3.1

* SM: update proptest dep to latest

* SM: fix rustdoc links
---
 proptest-state-machine/CHANGELOG.md    | 4 +++-
 proptest-state-machine/Cargo.toml      | 4 ++--
 proptest-state-machine/src/strategy.rs | 4 ++--
 3 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/proptest-state-machine/CHANGELOG.md b/proptest-state-machine/CHANGELOG.md
index 8fe48a5b..1d5ca855 100644
--- a/proptest-state-machine/CHANGELOG.md
+++ b/proptest-state-machine/CHANGELOG.md
@@ -1,7 +1,9 @@
 ## Unreleased
 
+## 0.3.1
+
 - Fixed checking of pre-conditions with a shrinked or complicated initial state.
-  ([\#482](https://github.com/proptest-rs/proptest/pull/482/commits/9b61544d75f5e44aad742f4546f0e83f2639394c))
+  ([\#482](https://github.com/proptest-rs/proptest/pull/482))
 
 ## 0.3.0
 
diff --git a/proptest-state-machine/Cargo.toml b/proptest-state-machine/Cargo.toml
index 110bac65..4c6359ea 100644
--- a/proptest-state-machine/Cargo.toml
+++ b/proptest-state-machine/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "proptest-state-machine"
-version = "0.3.0"
+version = "0.3.1"
 authors = ["Tomáš Zemanovič"]
 license = "MIT OR Apache-2.0"
 edition = "2018"
@@ -20,7 +20,7 @@ default = ["std"]
 std = ["proptest/std"]
 
 [dependencies]
-proptest = { version = "1.4.0", path = "../proptest", default-features = true, features = [
+proptest = { version = "1.5.0", path = "../proptest", default-features = true, features = [
     "fork",
     "timeout",
     "bit-set",
diff --git a/proptest-state-machine/src/strategy.rs b/proptest-state-machine/src/strategy.rs
index d13c39c4..61d450f8 100644
--- a/proptest-state-machine/src/strategy.rs
+++ b/proptest-state-machine/src/strategy.rs
@@ -41,7 +41,7 @@ use proptest::test_runner::TestRunner;
 ///
 /// The reference state machine generation runs before the generated transitions
 /// are attempted to be executed against the SUT (the concrete state machine)
-/// as defined by [`proptest::state_machine::StateMachineTest`].
+/// as defined by [`crate::StateMachineTest`].
 pub trait ReferenceStateMachine {
     /// The reference state machine's state type. This should contain the minimum
     /// required information needed to implement the state machine. It is used
@@ -91,7 +91,7 @@ pub trait ReferenceStateMachine {
     /// A sequential strategy runs the state machine transitions generated from
     /// the reference model sequentially in a test over a concrete state, which
     /// can be implemented with the help of
-    /// [`proptest::state_machine::StateMachineTest`] trait.
+    /// [`crate::StateMachineTest`] trait.
     ///
     /// You typically never need to override this method.
     fn sequential_strategy(