1
93%
develop: 93%

Ran 25 Feb 2018 09:51AM UTC

Files 418

Run time 11s

Badge

Embed ▾

Committed 25 Feb 2018 09:24AM UTC coverage: 59.667% (+0.8%) from 58.839%

Job # 74.1

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

Add import and export formats for LTSmin. (#20)

* Add serialization for ETF, and FSM formats.

* Fix copyright date

* Add option to mvn command so that all errors are collected.

* Fix unchecked call.

* Add author to pom.xml.

* Add method for DFAs.

* Fix default version in dependencies.

* Add ETF, and FSM to the distribution.

* Add sources to distribution too.

Run Details

7916 of 13267 relevant lines covered (59.67%)

1.71 hits per line

LearnLib / automatalib / 74 / 1
93%
develop: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 74.1

LearnLib / automatalib / 74 / 1 93% develop: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 74.1

LearnLib / automatalib / 74 / 1
93%
develop: 93%

README BADGES
x