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

340

push

travis-ci

dddejan 
more cmake fiddling for opam, travis opam install only 1 core

8229 of 13221 relevant lines covered (62.24%)

14933.51 hits per line

Relevant lines Covered
13221 RELEVANT LINES 8229 COVERED LINES
14933.51 HITS PER LINE
Source Files on apron
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
340 apron more cmake fiddling for opam, travis opam install only 1 core push dddejan travis-ci pending completion  
339 apron putting back the build directory and more cmake opam fiddling push dddejan travis-ci pending completion  
332 apron todo push dddejan travis-ci pending completion  
331 apron dejan wrote ocaml code!!! push dddejan travis-ci pending completion  
330 apron Change fixed point check in mcmt_learn push lmp47 travis-ci pending completion  
329 apron adding option for number of iterations push dddejan travis-ci pending completion  
328 apron more test cases push dddejan travis-ci pending completion  
327 apron Add tests to frontend push lmp47 travis-ci pending completion  
326 apron Add mcmt types to ast, redo declarations push lmp47 travis-ci pending completion  
325 apron Remove infinite loop push lmp47 travis-ci pending completion  
See All Builds (587)