rusftmt

model-checking · Jun 22, 2023 · 882ae88 · 882ae88
1 parent 4ea895e
commit 882ae88
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/proptest/src/test_runner/runner.rs b/proptest/src/test_runner/runner.rs
@@ -231,7 +231,10 @@ impl TestRunner {
         test: impl Fn(S::Value) -> TestCaseResult,
     ) -> TestRunResult<S> {
         let tree = strategy.new_tree(self).unwrap();
-        assert!(matches!(test(tree.current()), Ok(_) | Err(TestCaseError::Reject(_))));
+        assert!(matches!(
+            test(tree.current()),
+            Ok(_) | Err(TestCaseError::Reject(_))
+        ));
         Ok(())
     }