@@ -15,14 +15,14 @@ use support::resolver::{
15
15
use proptest:: collection:: vec;
16
16
use proptest:: prelude:: * ;
17
17
18
+ /// NOTE: proptest is a form of fuzz testing. It generates random input and makes shore that
19
+ /// certain universal truths are upheld. Therefore, it can pass when there is a problem,
20
+ /// but if it fails then there really is something wrong. When testing something as
21
+ /// complicated as the resolver, the problems can be very subtle and hard to generate.
22
+ /// We have had a history of these tests only failing on PRs long after a bug is introduced.
23
+ /// If you have one of these test fail please report it on #6258,
24
+ /// and if you did not change the resolver then feel free to retry without concern.
18
25
proptest ! {
19
- /// NOTE: proptest is a form of fuzz testing. It generates random input and makes shore that
20
- /// certain universal truths are upheld. Therefore, it can pass when there is a problem,
21
- /// but if it fails then there really is something wrong. When testing something as
22
- /// complicated as the resolver, the problems can be very subtle and hard to generate.
23
- /// We have had a history of these tests only failing on PRs long after a bug is introduced.
24
- /// If you have one of these test fail please report it on #6258,
25
- /// and if you did not change the resolver then feel free to retry without concern.
26
26
#![ proptest_config( ProptestConfig {
27
27
// Note that this is a little low in terms of cases we'd like to test,
28
28
// but this number affects how long this function takes. It can be
0 commit comments