214
95%

Ran 17 Mar 2020 05:43PM UTC

Jobs 1

Files 375

Run time 58s

Badge

Embed ▾

pending completion

Build # 214

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

check canonicity in integration tests

* make sure that automata are not only equivalent but also minimal
* for the state local input ITs this requires an additional minimization step before computing the enabled symbols

Run Details

8581 of 9517 relevant lines covered (90.16%)

1.6 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
6	214.6 (LTSMIN_VERSION=v3.1.0)	17 Mar 2020 05:43PM UTC	0	90.16	Travis Job 214.6

Source Files on build 214

Detailed source file information is not available for this build.

LearnLib / learnlib / 214
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 214

LearnLib / learnlib / 214 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 214

LearnLib / learnlib / 214
95%

README BADGES
x