3662

Committed 06 Oct 2025 07:51AM UTC coverage: 61.787% (+0.002%) from 61.785%

Build # 3662

Build Type

push

github

Committed by

Commit Message

Merge pull request #1834 from goblint/autotune-octagon-fun

Fix octagon autotuner choosing non-integer variables

Run Details

8 of 9 new or added lines in 2 files covered. (88.89%)

18 existing lines in 3 files now uncovered.

21055 of 34077 relevant lines covered (61.79%)

404933.06 hits per line

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

77.03

/src/sharedFunctions.ml