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

LAST BUILD BRANCH: mcsat-cached-value-tier-fallback
DEFAULT BRANCH: master
Ran
Files 486
Run time 14s
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.336% (+0.9%) from 65.387%
22571587135.1

Pull #604

github

disteph 
ci: ignore missing source records in lcov capture
Pull Request #604: Hardened #589 update + added missing API for building tuple and functional values and setting them in model

82681 of 124639 relevant lines covered (66.34%)

1705969.38 hits per line

Source Files on job 22571587135.1