Merge pull request #377 from sameer/master

tzemanovic · web-flow · commit 6f534cb228cf · 2023-10-17T18:22:35.000+02:00
Fix prop_state_machine cannot find value `config`
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)
                 }
             }
         )*

Original file line number	Diff line number	Diff line change
`@@ -190,7 +190,7 @@ macro_rules! prop_state_machine {`
`190`	`190`	`fn $test_name(`
`191`	`191`	`(initial_state, transitions) in <$test $(< $( $ty_param ),+ >)? as StateMachineTest>::Reference::sequential_strategy($size)`
`192`	`192`	`) {`
`193`		`- $test $(::< $( $ty_param ),+ >)? ::test_sequential(config, initial_state, transitions)`
	`193`	`+ $test $(::< $( $ty_param ),+ >)? ::test_sequential(Default::default(), initial_state, transitions)`
`194`	`194`	`}`
`195`	`195`	`}`
`196`	`196`	`)*`