goblint / analyzer / 2990 / 1
62%
master: 65%

LAST BUILD BRANCH: float-predicates
DEFAULT BRANCH: master
Ran
Files 274
Run time 10s
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
coverage: 62.317%. First build
2990.1

Pull #1695

github

web-flow 
Merge 548a8fedd into 85aaec95d
Pull Request #1695: Unit tests: Remove usages of polymorphic equality

19489 of 31274 relevant lines covered (62.32%)

439850.0 hits per line

Source Files on job 2990.1