goblint / analyzer

62%

master: 62%

LAST BUILD ON BRANCH vmcai25-docs

branch: vmcai25-docs

CHANGE BRANCH

x

Reset

• vmcai25-docs
• affineeq-refine
• bot_in_blob_leq_bot
• coverage
• fix-apron-overflows
• intdomain-split
• issue-1577
• issue-1591
• issue_1438
• issue_1467
• issue_1535
• issue_1558_master
• issue_1651
• lmust_cluster
• master
• mine-W-noinit-threadenter
• mutex-meet-invariant
• priv_prec_compare_stats
• topdown_term
• traces-vojdani
• witness_val_fail_cherrypick

Build # 2597

Build Type

Pull #1638

github

Committed by web-flow

Commit Message

Merge 2c90552b8 into ed8016877

Pull Request Pull Request #1638: Add VMCAI '25 artifact description to docs

Run Details

18870 of 30398 relevant lines covered (62.08%)

446364.52 hits per line