julianmendez / born
27%
master: 26%

LAST BUILD BRANCH: develop
DEFAULT BRANCH: master
Repo Added
Files 111
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 include-assertions
branch: include-assertions
CHANGE BRANCH
x

385

push

travis-ci

julianmendez 
Make module extractor return all entities in visited axioms

2040 of 7437 relevant lines covered (27.43%)

11.5 hits per line

Relevant lines Covered
7437 RELEVANT LINES 2040 COVERED LINES
11.5 HITS PER LINE
Source Files on include-assertions
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
385 include-assertions Make module extractor return all entities in visited axioms push julianmendez travis-ci pending completion  
384 include-assertions Make small change push julianmendez travis-ci pending completion  
383 include-assertions Add logger push julianmendez travis-ci pending completion  
382 include-assertions Add example push julianmendez travis-ci pending completion  
381 include-assertions Improve parser of queries push julianmendez travis-ci pending completion  
380 include-assertions Update .travis.yml push julianmendez travis-ci pending completion  
374 include-assertions Fix unit test push julianmendez travis-ci pending completion  
372 include-assertions Extend relevant symbol parser to include instance queries push julianmendez travis-ci pending completion  
371 include-assertions Rename some rules push julianmendez travis-ci pending completion  
370 include-assertions Add method to render declarations of individuals push julianmendez travis-ci pending completion  
See All Builds (430)