Skip to content

Do not report maybe in RandomIntParametersRule when either argument is an unbounded IntegerRangeType #28410

Do not report maybe in RandomIntParametersRule when either argument is an unbounded IntegerRangeType

Do not report maybe in RandomIntParametersRule when either argument is an unbounded IntegerRangeType #28410

Job Run time
2m 7s
14s
11s
11s
-1s
-1s
-1s
-1s
30s
28s
36s
27s
38s
48s
35s
35s
29s
34s
26s
38s
40s
35s
27s
29s
28s
31s
29s
33s
29s
27s
28s
35s
35s
34s
35s
28s
30s
32s
37s
33s
43s
32s
28s
27s
37s
36s
32s
29s
30s
30s
28s
29s
28s
31s
33s
39s
33s
40s
28s
37s
1m 6s
35s
35s
33s
32s
37s
30s
27s
32s
32s
34s
26s
25s
33s
34s
46s
32s
40s
33s
1m 7s
29s
28s
38s
32s
35s
33s
29s
34s
29s
37s
29s
34s
37s
31s
30s
31s
36s
26s
27s
35s
32s
1m 24s
33s
39s
46s
32s
34s
41s
36s
36s
40s
44s
42s
1m 39s
50s
33s
33s
59s
41s
33s
36s
36s
43s
1m 41s
53s
32s
46s
40s
58s
40s
38s
33s
31s
45s
32s
42s
37s
35s
35s
40s
37s
34s
36s
1m 30s
32s
46s
1m 11s
34s
40s
35s
34s
45s
1m 14s
45s
40s
39s
34s
39s
41s
38s
53s
47s
31s
43s
30s
1m 42s
34s
48s
32s
35s
37s
39s
36s
39s
40s
39s
42s
47s
1m 14s
44s
34s
53s
35s
52s
35s
32s
44s
35s
46s
1m 14s
36s
34s
34s
49s
42s
29s
32s
40s
37s
42s
42s
39s
39s
39s
36s
31s
42s
38s
51s
39s
45s
41s
35s
46s
39s
37s
36s
37s
33s
31s
1m 22s
36s
34s
29s
33s
33s
40s
32s
34s
41s
56s
37s
38s
39s
41s
30s
35s
45s
40s
44s
39s
32s
1m 10s
59s
51s
37s
45s
35s
32s
1m 17s
54s
55s
48s
35s
1m 12s
54s
37s
39s
1m 28s
49s
51s
45s
50s
53s
45s
1m 4s
1m 12s
39s
48s
1m 46s
42s
2m 4s
7m 29s
38s
1m 25s
48s
44s
40s
38s
5m 34s
45s
1m 0s
44s
50s
43s
0s
3h 23m 8s