SRI-CSL / yices2 / 28734355636
71%
master: 71%

LAST BUILD BRANCH: mcsat-bugfixes
DEFAULT BRANCH: master
Ran
Jobs 1
Files 496
Run time 1min
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: 71.192% (+1.1%) from 70.062%
28734355636

Pull #651

github

web-flow 
Merge 2d5e9d643 into ef9135916
Pull Request #651: Re-enable bound strengthening and diophantine check in simplex

4 of 4 new or added lines in 1 file covered. (100.0%)

15 existing lines in 2 files now uncovered.

95532 of 134190 relevant lines covered (71.19%)

1620372.64 hits per line

Coverage Regressions

Lines Coverage ∆ File
11
96.08
 6.69% src/solvers/simplex/simplex.c
4
79.54
 -0.13% src/context/context.c
Jobs
ID Job ID Ran Files Coverage
1 28734355636.1 496
71.19
 GitHub Action Run
Source Files on build 28734355636