goblint
/
analyzer
62%
master: 62%
master: 62%
|
Repo Added
|
Files
271
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
lmust_cluster
branch: lmust_cluster
CHANGE BRANCH
x
-
lmust_cluster
-
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
-
master
-
mine-W-noinit-threadenter
-
mutex-meet-invariant
-
priv_prec_compare_stats
-
topdown_term
-
traces-vojdani
-
vmcai25-docs
-
witness_val_fail_cherrypick
CHANGE BRANCH
x
-
lmust_cluster
- 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
- master
- mine-W-noinit-threadenter
- mutex-meet-invariant
- priv_prec_compare_stats
- topdown_term
- traces-vojdani
- vmcai25-docs
- witness_val_fail_cherrypick
coverage: 62.081% (+0.006%) from 62.075%
github
2 of 2 new or added lines in 1 file covered. (100.0%)
106 existing lines in 1 file now uncovered.18877 of 30407 relevant lines covered (62.08%)
446276.74 hits per line
Relevant lines Covered
30407
RELEVANT LINES
18877
COVERED LINES
446276.74
HITS PER LINE
Source Files on lmust_cluster
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 2638 | lmust_cluster | Merge c59237382 into b68df11b4 | Pull #1643 |  web-flow |
github |
62.08 |