SRI-CSL / sally
64%
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 sal
branch: sal
CHANGE BRANCH
x

420

push

travis-ci

dddejan 
fixing destruct

9893 of 15491 relevant lines covered (63.86%)

15774.94 hits per line

Relevant lines Covered
15491 RELEVANT LINES 9893 COVERED LINES
15774.94 HITS PER LINE
Source Files on sal
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
420 sal fixing destruct push dddejan travis-ci pending completion  
419 sal ... push dddejan travis-ci pending completion  
418 sal moving transformers to system push dddejan travis-ci pending completion  
417 sal fixing compile errors push dddejan travis-ci pending completion  
416 sal Add more sanity checks push caballa travis-ci pending completion  
414 sal Rename files and expand equality of array var and other term push caballa travis-ci pending completion  
413 sal Added more transformations - remove array terms: currently only array reads but we need to remove array writes. - remove predicate subtypes. push caballa travis-ci pending completion  
411 sal Merged branch master into sal push caballa travis-ci pending completion  
See All Builds (587)