cuplv / cuanto
78%
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 scala-smtlib
branch: scala-smtlib
CHANGE BRANCH
x

360

push

travis-ci

octalsrc 
Test (and document) scala-smtlib interactions as ScalaTest suite

227 of 292 relevant lines covered (77.74%)

0.78 hits per line

Relevant lines Covered
292 RELEVANT LINES 227 COVERED LINES
0.78 HITS PER LINE
Source Files on scala-smtlib
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
360 scala-smtlib Test (and document) scala-smtlib interactions as ScalaTest suite push octalsrc travis-ci pending completion  
357 scala-smtlib Test (and document) scala-smtlib interactions as ScalaTest suite push octalsrc travis-ci pending completion  
355 scala-smtlib Test (and document) scala-smtlib interactions as ScalaTest suite push octalsrc travis-ci pending completion  
353 scala-smtlib Test (and document) scala-smtlib interactions as ScalaTest suite push octalsrc travis-ci pending completion  
351 scala-smtlib Add z3 to Travis builder's environment push octalsrc travis-ci pending completion  
See All Builds (320)