Skip to content

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

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

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

Job Run time
58s
20s
23s
29s
25s
19s
29s
22s
22s
25s
18s
24s
23s
25s
23s
21s
16s
24s
23s
21s
23s
27s
19s
19s
28s
25s
23s
29s
21s
21s
25s
29s
25s
20s
16s
24s
22s
23s
24s
31s
28s
26s
25s
24s
22s
17s
16s
25s
23s
18s
24s
25s
29s
18s
25s
23s
23s
24s
22m 59s