goblint / analyzer / 4355

coverage: 65.495% (-0.002%) from 65.497%
4355

push

github

web-flow 
Merge pull request #1984 from goblint/valuedomain-do-offset-2

Remove type argument from `do_update_offset`, fix calls with incorrect offset type

18 of 19 new or added lines in 3 files covered. (94.74%)

3 existing lines in 1 file now uncovered.

22679 of 34627 relevant lines covered (65.5%)

400006.16 hits per line

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

81.84
/src/analyses/base.ml


Source Not Available