SRI-CSL / sally
67%
master: 36%

LAST BUILD BRANCH: nra
DEFAULT BRANCH: master
Repo Added
Files 1902
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 z3
branch: z3
CHANGE BRANCH
x

159

push

travis-ci

dddejan 
fixes, interpolation seems to be working

7879 of 11783 relevant lines covered (66.87%)

13002.42 hits per line

Relevant lines Covered
11783 RELEVANT LINES 7879 COVERED LINES
13002.42 HITS PER LINE
Source Files on z3
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
159 z3 fixes, interpolation seems to be working push dddejan travis-ci pending completion  
158 z3 progress push dddejan travis-ci pending completion  
157 z3 frame for yices2 + z3 combination push dddejan travis-ci pending completion  
155 z3 z3 models push dddejan travis-ci pending completion  
154 z3 type push -> pop push dddejan travis-ci pending completion  
153 z3 fixing up reference counting (bmc, kind working) push dddejan travis-ci pending completion  
152 z3 initial z3 frame, compiles but doesn't work push dddejan travis-ci pending completion  
See All Builds (587)