Skip to content

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

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

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

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