3776

Committed 07 Nov 2025 03:06PM UTC coverage: 61.453% (+0.02%) from 61.432%

Build # 3776

Build Type

push

github

Committed by

Commit Message

Merge pull request #1827 from goblint/var_eq-unassume

Implement proper naïve unassume in var_eq

Run Details

16 of 21 new or added lines in 1 file covered. (76.19%)

190 existing lines in 5 files now uncovered.

20955 of 34099 relevant lines covered (61.45%)

404679.52 hits per line

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

0.0

/src/framework/analysisResult.ml