SRI-CSL / yices2 / 11259421365
66%
master: 66%

LAST BUILD BRANCH: mcsat-target-best
DEFAULT BRANCH: master
Ran
Jobs 1
Files 486
Run time 4min
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.92% (-0.004%) from 65.924%
11259421365

Pull #533

github

web-flow 
Merge 3caa9ce64 into 234bd18c7
Pull Request #533: Improved Integer handling in NRA plugin

48 of 55 new or added lines in 4 files covered. (87.27%)

2 existing lines in 1 file now uncovered.

81604 of 123792 relevant lines covered (65.92%)

1527641.04 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
77.25
 -0.4% src/mcsat/nra/nra_plugin.c
5
92.13
 -5.05% src/mcsat/nra/nra_plugin_internal.c

Uncovered Existing Lines

Lines Coverage ∆ File
2
63.13
 -0.41% src/mcsat/nra/nra_plugin_explain.c
Jobs
ID Job ID Ran Files Coverage
1 11259421365.1 1697
66.67
 GitHub Action Run
Source Files on build 11259421365