Merge pull request #377 from sameer/master

Fix prop_state_machine cannot find value `config`
proptest-rs · Oct 17, 2023 · 6f534cb · 6f534cb
2 parents d6f95d4 + bab6ed1
commit 6f534cb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/proptest-state-machine/src/test_runner.rs b/proptest-state-machine/src/test_runner.rs
@@ -190,7 +190,7 @@ macro_rules! prop_state_machine {
                 fn $test_name(
                     (initial_state, transitions) in <$test $(< $( $ty_param ),+ >)? as StateMachineTest>::Reference::sequential_strategy($size)
                 ) {
-                    $test $(::< $( $ty_param ),+ >)? ::test_sequential(config, initial_state, transitions)
+                    $test $(::< $( $ty_param ),+ >)? ::test_sequential(Default::default(), initial_state, transitions)
                 }
             }
         )*