goblint / analyzer / 3983

Build # 3983

Build Type

Pull #1893

github

Committed by web-flow

Commit Message

Merge 56cd3a0f6 into 978c6f38a

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

Run Details

22578 of 34520 relevant lines covered (65.41%)

403893.79 hits per line

Source File

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

Source Not Available