goblint / analyzer / 3992

Build # 3992

Build Type

push

github

Committed by web-flow

Commit Message

Add VMCAI'26 artifact description (#1893)

Co-authored-by: Simmo Saan <simmo.saan@gmail.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

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