4285

Committed 02 Apr 2026 03:38PM UTC coverage: 65.463% (-0.07%) from 65.533%

Build # 4285

Build Type

push

github

Committed by

Commit Message

Merge pull request #1979 from goblint/verbose-version

Add `--version` output to normal verbose runs

Coverage Stats

9 of 11 new or added lines in 2 files covered. (81.82%)

517 existing lines in 11 files now uncovered.

22656 of 34609 relevant lines covered (65.46%)

401081.41 hits per line

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

81.89

/src/analyses/base.ml