6
93%
develop: 93%

Ran 29 Jul 2018 06:28PM UTC

Files 436

Run time 24s

Badge

Embed ▾

Committed 29 Jul 2018 06:13PM UTC coverage: 66.292% (+0.3%) from 66.033%

Job # 120.6

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

Cleaning up visualization provider

- making it clear that providers are looked up by their id, not their name.
- add Javadoc to state that the #visualize method takes _additional_ helpers.
- fixing a bug, where the Visualization class would evaluate the root
  visualizer of the graph twice.

Run Details

8964 of 13522 relevant lines covered (66.29%)

1.22 hits per line

LearnLib / automatalib / 120 / 6
93%
develop: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 120.6

LearnLib / automatalib / 120 / 6 93% develop: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 120.6

LearnLib / automatalib / 120 / 6
93%
develop: 93%

README BADGES
x