goblint / analyzer
62%

DEFAULT BRANCH: master
Repo Added
Files 271
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH master
branch: master
CHANGE BRANCH
x

coverage: 61.885%. Remained the same
2786

push

github

web-flow 
Merge pull request #1656 from goblint/traces-vojdani-invariant

Fix Vojdani privatization `invariant_global`

0 of 14 new or added lines in 3 files covered. (0.0%)

220 existing lines in 2 files now uncovered.

18953 of 30626 relevant lines covered (61.89%)

443134.88 hits per line

Relevant lines Covered
30626 RELEVANT LINES 18953 COVERED LINES
443134.88 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
2786 master Merge pull request #1656 from goblint/traces-vojdani-invariant Fix Vojdani privatization `invariant_global` push web-flow github
61.89
2785 master Merge pull request #1656 from goblint/traces-vojdani-invariant Fix Vojdani privatization `invariant_global` push web-flow github
61.89
2784 master Merge pull request #1643 from goblint/lmust_cluster Relational MM: Cluster LMust push web-flow github
61.89
2776 master Merge pull request #1655 from goblint/cil-dynlink Update CIL pin to exclude dynlink and reduce executable size push web-flow github
61.89
2768 master Remove TODO from fixed 03-practical/31-zstd-cctxpool-blobs Fixed by #1644. push sim642 github
61.89
2763 master Remove TODO from fixed 03-practical/31-zstd-cctxpool-blobs Fixed by #1644. push sim642 github
61.89
2762 master Remove TODO from fixed 03-practical/31-zstd-cctxpool-blobs Fixed by #1644. push sim642 github
61.89
2759 master Remove TODO from fixed 03-practical/31-zstd-cctxpool-blobs Fixed by #1644. push sim642 github
61.89
2745 master Merge pull request #1641 from goblint/witness_val_fail_cherrypick Fixes for Self-Validation Issues push web-flow github
61.89
2743 master Merge pull request #1641 from goblint/witness_val_fail_cherrypick Fixes for Self-Validation Issues push web-flow github
61.89
See All Builds (1559)