3671

Committed 09 Oct 2025 02:49PM UTC coverage: 61.783%. Remained the same

Build # 3671

Build Type

push

github

Committed by

Commit Message

Merge pull request #1837 from goblint/termination-unflat

Remove unnecessary flat lifting in `LoopTermination`

Run Details

1 of 2 new or added lines in 1 file covered. (50.0%)

21055 of 34079 relevant lines covered (61.78%)

404912.76 hits per line

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

75.0

/src/analyses/loopTermination.ml