24955788380

Committed 26 Apr 2026 11:44AM UTC coverage: 89.185%. Remained the same

Build Type

github

Committed by

Commit Message

Merge 9623d461d into 812e1e2fb

Coverage Stats

60 of 64 new or added lines in 1 file covered. (93.75%)

25 existing lines in 2 files now uncovered.

13714 of 15377 relevant lines covered (89.19%)

4393577.01 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

88.89

/src/crab/region_semantics.cpp