2
95%
develop: 95%

Ran 26 Feb 2018 12:32PM UTC

Files 311

Run time 11s

Badge

Embed ▾

Committed 26 Feb 2018 12:18PM UTC coverage: 74.713% (+31.9%) from 42.779%

Job # 84.2

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

post-PR-merge cleanup

- update developer/contributor information
- drop jUnit dependency
- merge blackbox-, emptiness- and inclusion oracles to bbc-oracles artifact
- as a result, drop learnlib-oracles-support module

Run Details

6899 of 9234 relevant lines covered (74.71%)

2.1 hits per line

LearnLib / learnlib / 84 / 2
95%
develop: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 84.2

LearnLib / learnlib / 84 / 2 95% develop: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 84.2

LearnLib / learnlib / 84 / 2
95%
develop: 95%

README BADGES
x