Skip to content

Simplify *StatementWithoutImpurePointsRule #22880

Simplify *StatementWithoutImpurePointsRule

Simplify *StatementWithoutImpurePointsRule #22880

Job Run time
28s
23s
24s
18s
59s
22s
30s
20s
42s
24s
20s
21s
21s
18s
23s
26s
21s
22s
21s
20s
27s
27s
22s
29s
25s
27s
30s
27s
25s
21s
28s
23s
20s
18s
24s
27s
21s
25s
24s
33s
24s
19s
20s
21s
26s
24s
21s
19s
23s
25s
26s
19s
27s
22s
31s
26s
23s
23m 22s