7633620592
93%

Ran 24 Jan 2024 12:41AM UTC

Jobs 1

Files 716

Run time 41s

Badge

Embed ▾

Committed 24 Jan 2024 12:26AM UTC coverage: 89.83% (+0.01%) from 89.818%

Build # 7633620592

Build Type

push

github

Committed by

web-flow

Commit Message

Add Tabakov-Vardi random automata generator (#69)

* Add Tabakov-Vardi random automata generator.

* Switch assert order to match proper (actual, expected).
Use set equality rather than String equality.

* Switch from Integer to generic type.

* Add CHANGELOG entry for Tabakov-Vardi.
Move Javadoc into class.
Fix some typos while we're here.

* Fix Checkstyle violations.
Cite myself.

* add generator for arbitrary NFAs

* cleanup doc

* ctrl + shift + f

---------

Co-authored-by: Markus Frohme <markus.frohme@udo.edu>

Run Details

15802 of 17591 relevant lines covered (89.83%)

1.66 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	7633620592.1	24 Jan 2024 12:41AM UTC	716	89.83

LearnLib / automatalib / 7633620592
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7633620592

LearnLib / automatalib / 7633620592 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7633620592

LearnLib / automatalib / 7633620592
93%

README BADGES
x