Skip to content

Infer non-empty-ness after count($a) == count($b) #23332

Infer non-empty-ness after count($a) == count($b)

Infer non-empty-ness after count($a) == count($b) #23332

Job Run time
46s
22s
24s
27s
23s
17s
17s
26s
24s
22s
25s
23s
18s
27s
29s
27s
19s
21s
24s
17s
21s
18s
25s
28s
22s
28s
24s
33s
28s
20s
23s
24s
23s
22s
20s
22s
26s
29s
22s
20s
27s
28s
21s
20s
21s
22s
16s
16s
22s
20s
20s
20s
21s
22s
19s
25s
27s
23s
22m 26s