aremmell / libsir / 1188
95%
master: 95%

LAST BUILD BRANCH: johnsonjh/20241107/2.2.5
DEFAULT BRANCH: master
Ran
Jobs 1
Files 25
Run time 2s
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: 95.428% (-0.05%) from 95.477%
1188

Pull #349

gitlab-ci

johnsonjh 
Combine CBMC/ESBMC in table

Signed-off-by: Jeffrey H. Johnson <trnsz@pobox.com>
Pull Request #349: Update docs

3861 of 4046 relevant lines covered (95.43%)

502920.03 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
2
93.75
 -1.04% src/sirhelpers.c
Jobs
ID Job ID Ran Files Coverage
1 1188.1 25
95.43
Source Files on build 1188