SRI-CSL / yices2 / 4238628909 / 1
65%
master: 65%

DEFAULT BRANCH: master
Ran
Files 1614
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: 65.558% (-0.01%) from 65.57%
4238628909.1

push

github

Ahmed Irfan 
disable weq-graph sorting heuristic

86375 of 131754 relevant lines covered (65.56%)

1495171.28 hits per line

Source Files on job 4238628909.1