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
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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)