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

Author: tzemanovic

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
 

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",

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(