4046

Committed 12 Jan 2026 08:58AM UTC coverage: 65.447% (+0.003%) from 65.444%

Build # 4046

Build Type

push

github

Committed by

Commit Message

Merge pull request #1891 from goblint/let-at

Introduce `let@` binding operator

Run Details

20 of 25 new or added lines in 14 files covered. (80.0%)

27 existing lines in 1 file now uncovered.

22614 of 34553 relevant lines covered (65.45%)

404432.21 hits per line

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

78.2

/src/sharedFunctions.ml