1
82%
develop: 82%

Ran 16 Jan 2026 07:34AM UTC

Files 329

Run time 14s

Badge

Committed 16 Jan 2026 04:23AM UTC coverage: 82.069% (+0.03%) from 82.044%

Build Type

push

github

Committed by

Commit Message

Implement depth-awareness when enforcing precedence between union/intersection operators (#3730)

Co-authored-by: GuySten <guyste@post.bgu.ac.il>

Run Details

17218 of 23895 branches covered (72.06%)

Branch coverage included in aggregate %.

55637 of 64878 relevant lines covered (85.76%)

43414924.88 hits per line