goblint / analyzer / 3989

Build # 3989

Build Type

Pull #1893

github

Committed by web-flow

Commit Message

Merge 2eddc43d4 into 88bf71630

Pull Request Pull Request #1893: Add VMCAI'26 artifact description

Run Details

22581 of 34521 relevant lines covered (65.41%)

404245.68 hits per line

Source File

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

Source Not Available