goblint / analyzer
62%
master: 62%

LAST BUILD BRANCH: affineeq-refine
DEFAULT BRANCH: master
Repo Added
Files 270
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 affineeq-refine
branch: affineeq-refine
CHANGE BRANCH
x

coverage: 62.216%. First build
2689

Pull #1635

github

web-flow 
Merge e9100c685 into 91bbf20ba
Pull Request #1635: Linear Two Variable Equality Domain Refining Value Domain

18953 of 30463 relevant lines covered (62.22%)

445489.0 hits per line

Relevant lines Covered
30463 RELEVANT LINES 18953 COVERED LINES
445489.0 HITS PER LINE
Source Files on affineeq-refine

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
2689 affineeq-refine Merge e9100c685 into 91bbf20ba Pull #1635 web-flow github
62.22
2671 affineeq-refine Merge f7666fd4a into e36e738da Pull #1635 web-flow github
62.22
2640 affineeq-refine Merge ba198c9ec into b68df11b4 Pull #1635 web-flow github
62.12
2536 affineeq-refine Merge 54595bd64 into 8e6ecbbe0 Pull #1635 web-flow github
62.11
See All Builds (1510)