goblint
/
analyzer
62%
master: 62%
master: 62%
|
Repo Added
|
Files
271
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
issue_1535
branch: issue_1535
CHANGE BRANCH
x
-
issue_1535
-
affineeq-refine
-
bot_in_blob_leq_bot
-
coverage
-
fix-apron-overflows
-
intdomain-split
-
issue-1577
-
issue-1591
-
issue_1438
-
issue_1467
-
issue_1558_master
-
issue_1651
-
lmust_cluster
-
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
-
issue_1535
- affineeq-refine
- bot_in_blob_leq_bot
- coverage
- fix-apron-overflows
- intdomain-split
- issue-1577
- issue-1591
- issue_1438
- issue_1467
- issue_1558_master
- issue_1651
- lmust_cluster
- master
- mine-W-noinit-threadenter
- mutex-meet-invariant
- priv_prec_compare_stats
- topdown_term
- traces-vojdani
- vmcai25-docs
- witness_val_fail_cherrypick
coverage: 62.087%. First build
github
18921 of 30475 relevant lines covered (62.09%)
445267.93 hits per line
Relevant lines Covered
30475
RELEVANT LINES
18921
COVERED LINES
445267.93
HITS PER LINE
Source Files on issue_1535
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 2720 | issue_1535 | Merge bb534ffe0 into ab54be84f | Pull #1646 |  web-flow |
github |
62.09 |
|
| 2719 | issue_1535 | Merge e03a6f71a into ab54be84f | Pull #1646 | web-flow |
github |
62.08 |
|
| 2668 | issue_1535 | Merge 79df6147a into 4d60a8285 | Pull #1646 | web-flow |
github |
62.08 |
|
| 2651 | issue_1535 | Merge 563a5b1a7 into b68df11b4 | Pull #1646 | web-flow |
github |
62.08 |
|
| 2650 | issue_1535 | Merge 406ad227e into b68df11b4 | Pull #1646 | web-flow |
github |
62.08 |