6
93%
develop: 93%

Ran 26 Jan 2020 01:07AM UTC

Files 560

Run time 27s

Badge

Embed ▾

Committed 26 Jan 2020 12:47AM UTC coverage: 80.744%. Remained the same

Job # 231.6

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

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 231.6

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 231.6

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

README BADGES
x