goblint / analyzer / 3509

Build # 3509

Build Type

Pull #1790

github

Committed by web-flow

Commit Message

Merge 122be82aa into bac2e2720

Pull Request Pull Request #1790: Pin CIL with global state removed from `Pretty`

Run Details

20902 of 33945 relevant lines covered (61.58%)

406948.76 hits per line

Source File

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

Source Not Available