263
93%

Ran 29 Oct 2020 11:34PM UTC

Jobs 1

Files 562

Run time 46s

Badge

Embed ▾

pending completion

Build # 263

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

fix consistency bug in incremental DAG builders

Previously, confluences that were introduced in the currently tracked trace were not properly detected or handled. This commit adds the required checks and adds test traces from a context-free learning setup which originally discovered these bugs.

Run Details

11070 of 13515 relevant lines covered (81.91%)

1.5 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
6	263.6 (LTSMIN_VERSION="v3.1.0")	29 Oct 2020 11:34PM UTC	0	81.91	Travis Job 263.6

Source Files on build 263

Detailed source file information is not available for this build.

LearnLib / automatalib / 263
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 263

LearnLib / automatalib / 263 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 263

LearnLib / automatalib / 263
93%

README BADGES
x