pysmt / pysmt
47%
master: %

LAST BUILD BRANCH: cvc4-array-value
DEFAULT BRANCH: master
Repo Added
Files 0
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

LAST BUILD ON BRANCH yices-2.4.1
branch: yices-2.4.1
CHANGE BRANCH
x

293

push

travis-ci

mikand 
Ported to Yices 2.4.1

852 of 3377 branches covered (25.23%)

4443 of 9388 relevant lines covered (47.33%)

7.04 hits per line

Relevant lines Covered
9388 RELEVANT LINES 4443 COVERED LINES
7.04 HITS PER LINE
Source Files on yices-2.4.1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line Branch Hits Branch Misses

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
293 yices-2.4.1 Ported to Yices 2.4.1 push mikand travis-ci pending completion  
See All Builds (861)