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

523

Pull #64

travis-ci

web-flow 
fix test filtering
Pull Request #64: Support for OpenSMT2

317 of 317 new or added lines in 10 files covered. (100.0%)

5995 of 14302 relevant lines covered (41.92%)

15436.16 hits per line

Relevant lines Covered
14302 RELEVANT LINES 5995 COVERED LINES
15436.16 HITS PER LINE
Source Files on opensmt2
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
523 opensmt2 fix test filtering Pull #64 web-flow travis-ci pending completion  
522 opensmt2 fix test filtering push dddejan travis-ci pending completion  
521 opensmt2 don't run tests if solvers not available Pull #64 web-flow travis-ci pending completion  
517 opensmt2 fix the eclipse settings Pull #64 web-flow travis-ci pending completion  
516 opensmt2 fix the eclipse settings push dddejan travis-ci pending completion  
515 opensmt2 fiddle with travis Pull #64 web-flow travis-ci pending completion  
514 opensmt2 fiddle with travis push dddejan travis-ci pending completion  
511 opensmt2 Merge pull request #63 from blishko/osmt_iface Update to OpenSMT interface push web-flow travis-ci pending completion  
500 opensmt2 Revert "trying official opensmt2" This reverts commit afc39c243. push dddejan travis-ci pending completion  
489 opensmt2 styling push dddejan travis-ci pending completion  
See All Builds (587)