goblint / analyzer / 4034 / 1
65%
master: 66%

LAST BUILD BRANCH: creation-lockset-access-print
DEFAULT BRANCH: master
Ran
Files 313
Run time 12s
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: 65.447%. First build
4034.1

Pull #1906

github

web-flow 
Merge e4085ed5f into 9724fee64
Pull Request #1906: Simplify return type of `FloatDomain` predicates

22612 of 34550 relevant lines covered (65.45%)

404449.86 hits per line

Source Files on job 4034.1