SRI-CSL / yices2 / 28048717604
69%
master: 69%

LAST BUILD BRANCH: issue-621-plan-a-diff-witness
DEFAULT BRANCH: master
Ran
Jobs 1
Files 493
Run time 2min
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: 69.296%. Remained the same
28048717604

Pull #644

github

web-flow 
Merge eff891d2b into 632d18a2a
Pull Request #644: 2.8.0 doc updates

90718 of 130913 relevant lines covered (69.3%)

1564098.85 hits per line

Jobs
ID Job ID Ran Files Coverage
1 28048717604.1 493
69.3
 GitHub Action Run
Source Files on build 28048717604