1
93%
develop: 93%

Ran 01 Jul 2022 08:15AM UTC

Files 697

Run time 2min

Badge

Embed ▾

Committed 01 Jul 2022 08:15AM UTC coverage: 85.985% (+0.004%) from 85.981%

Job # 2595185222.1

Build Type

push

github

Committed by GitHub

Commit Message

Create states from AUT header (#52)

* Parse states from AUT Header

* Use numStates for initial automaton size

* Throw exception for invalid number of states and invalid state numbers

* Add assertions for testing incorrect state numbers

* Generalize error message

* Remove unused imports

Run Details

14031 of 16318 relevant lines covered (85.98%)

1.57 hits per line

LearnLib / automatalib / 2595185222 / 1
93%
develop: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2595185222.1

LearnLib / automatalib / 2595185222 / 1 93% develop: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2595185222.1

LearnLib / automatalib / 2595185222 / 1
93%
develop: 93%

README BADGES
x