goblint / analyzer / 2776

Build # 2776

Build Type

push

github

Committed by web-flow

Commit Message

Merge pull request #1655 from goblint/cil-dynlink

Update CIL pin to exclude dynlink and reduce executable size

Run Details

18936 of 30597 relevant lines covered (61.89%)

443484.44 hits per line

Source File

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

Source Not Available