1
95%
develop: 95%

Ran 23 Apr 2022 11:48AM UTC

Files 431

Run time 29s

Badge

Embed ▾

Committed 23 Apr 2022 11:48AM UTC coverage: 91.404% (+0.4%) from 91.014%

Job # 2212123087.1

Build Type

push

github

Committed by GitHub

Commit Message

Add OML (#81)

* initial OML version

* fix corner case (child not defined in dtree)

* initial refactorings to pass code analysis

* make OptimalTTT support growing alphabets + cleanups

* add upstream fixes/improvements

* ci: build develop branch of AutomataLib by default

Co-authored-by: Falk Howar <falk.howar@gmail.com>

Run Details

10165 of 11121 relevant lines covered (91.4%)

1.65 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2212123087.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2212123087.1

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

README BADGES
x