cuplv / cuanto
80%
develop: 73%

LAST BUILD BRANCH: jsy-primitives
DEFAULT BRANCH: develop
Repo Added
Files 23
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 abstract-domains
branch: abstract-domains
CHANGE BRANCH
x

456

push

travis-ci

octalsrc 
Eliminate whitespace

310 of 386 relevant lines covered (80.31%)

0.8 hits per line

Relevant lines Covered
386 RELEVANT LINES 310 COVERED LINES
0.8 HITS PER LINE
Source Files on abstract-domains
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
456 abstract-domains Eliminate whitespace push octalsrc travis-ci pending completion  
454 abstract-domains Eliminate whitespace push octalsrc travis-ci pending completion  
451 abstract-domains Add test to excercise default case in `join` for `Interval` push octalsrc travis-ci pending completion  
449 abstract-domains Add tests for the typeclasses' `apply` methods push octalsrc travis-ci pending completion  
447 abstract-domains Add tests for `isTop` to `vote` and `interval` domains push octalsrc travis-ci pending completion  
445 abstract-domains Clean up `interval` tests push octalsrc travis-ci pending completion  
443 abstract-domains added unit tests for interval domain push ftc travis-ci pending completion  
439 abstract-domains merge push ftc travis-ci pending completion  
436 abstract-domains Define generic 2-tuple abstraction push octalsrc travis-ci pending completion  
434 abstract-domains Define generic 2-tuple abstraction push octalsrc travis-ci pending completion  
See All Builds (320)