SRI-CSL / yices2
65%
master: 66%

LAST BUILD BRANCH: mcsat-target-best
DEFAULT BRANCH: master
Repo Added
Files 486
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

LAST BUILD ON BRANCH mcsat-interpolation
branch: mcsat-interpolation
CHANGE BRANCH
x

coverage: 65.145% (-0.04%) from 65.182%
1459

Pull #285

travis-ci

web-flow 
<a href="https://github.com/SRI-CSL/yices2/commit/<a class=hub.com/SRI-CSL/yices2/commit/f2a671d37f11f6b0f9b85d5f05f923ff41949664">f2a671d37<a href="https://github.com/SRI-CSL/yices2/commit/f2a671d37f11f6b0f9b85d5f05f923ff41949664">">Merge </a><a class="double-link" href="https://github.com/SRI-CSL/yices2/commit/<a class="double-link" href="https://github.com/SRI-CSL/yices2/commit/99e26b94984990734bc1056f55c39360b8691335">99e26b949</a>">99e26b949</a><a href="https://github.com/SRI-CSL/yices2/commit/f2a671d37f11f6b0f9b85d5f05f923ff41949664"> into a300df74a">a300df74a</a>
Pull Request #285: Mcsat interpolation

89 of 89 new or added lines in 5 files covered. (100.0%)

74672 of 114625 relevant lines covered (65.14%)

1428993.13 hits per line

Relevant lines Covered
114625 RELEVANT LINES 74672 COVERED LINES
1428993.13 HITS PER LINE
Source Files on mcsat-interpolation

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1459 mcsat-interpolation <a href="https://github.com/SRI-CSL/yices2/commit/f2a671d37">Merge </a><a class="double-link" href="https://github.com/SRI-CSL/yices2/commit/99e26b949">99e26b949</a><a href="https://git... Pull #285 web-flow travis-ci
65.14
1449 mcsat-interpolation [mcsat] another path to mark and clear unused terms before term table goes into gc push dddejan travis-ci
64.6
1445 mcsat-interpolation [intepolation] fix details push dddejan travis-ci
64.61
1443 mcsat-interpolation [interpolation] draft of interpolation API push dddejan travis-ci
64.62
See All Builds (1604)