231
93%

Ran 26 Jan 2020 01:07AM UTC

Jobs 1

Files 560

Run time 29s

Badge

Embed ▾

pending completion

Build # 231

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

Fix a bug in the computation of characterizing sets

When analyzing the remaining state partitions, we need to investigate all partitions with two or more states, not just partitions with three or more states.

This commit also updates the tests to check the actual property of characterizing sets, which would have exposed the bug earlier.

fixes #36

Run Details

10957 of 13570 relevant lines covered (80.74%)

1.46 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
6	231.6	26 Jan 2020 01:07AM UTC	0	80.74	Travis Job 231.6

Source Files on build 231

Detailed source file information is not available for this build.

LearnLib / automatalib / 231
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 231

LearnLib / automatalib / 231 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 231

LearnLib / automatalib / 231
93%

README BADGES
x