1
95%
develop: 95%

Ran 27 Jul 2023 10:14PM UTC

Files 468

Run time 5s

Badge

Embed ▾

Committed 27 Jul 2023 09:39PM UTC coverage: 91.796%. Remained the same

Job # 5685723463.1

Build Type

push

github

Committed by

mtf90

Commit Message

adjust to AutomataLib changes

The partial W-method implementation has changed (the order of test sequences) which results in different discriminators being extracted by the abstraction tree.

Run Details

10730 of 11689 relevant lines covered (91.8%)

1.65 hits per line

LearnLib / learnlib / 5685723463 / 1
95%
develop: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 5685723463.1

LearnLib / learnlib / 5685723463 / 1 95% develop: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 5685723463.1

LearnLib / learnlib / 5685723463 / 1
95%
develop: 95%

README BADGES
x