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

DEFAULT BRANCH: master
Ran
Files 1625
Run time 49s
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.349% (+0.09%) from 66.259%
8394107952.1

push

github

web-flow 
Mcsat arrays fixes (#499)

* use a cache for storing not weakly i-equivalent result

* update terms are ufun in eq graph

* weq cleanup

* more clean up

87926 of 132521 relevant lines covered (66.35%)

1359426.32 hits per line

Source Files on job 8394107952.1