Coverage calculation for this build was skipped because it contains the same data as another build. See this build for the coverage details.
If you feel that something is wrong here, please contact support.

SRI-CSL / yices2 / 22812745417 / 1
66%
master: 69%

LAST BUILD BRANCH: fix/smt2-array-model-format
DEFAULT BRANCH: master
Ran
Files 486
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: 66.485% (+0.07%) from 66.414%
22812745417.1

Pull #609

github

web-flow 
Merge 8e042ee7e into 362cfa4a1
Pull Request #609: Fix #608 bug: MCSAT + Thread-Safe Lock Recursion and Add API Regressions

82974 of 124802 relevant lines covered (66.48%)

1706637.74 hits per line

Source Files on job 22812745417.1