1
93%
develop: 93%

Ran 08 Feb 2024 02:12PM UTC

Files 716

Run time 15s

Badge

Embed ▾

Committed 08 Feb 2024 01:56PM UTC coverage: 89.841% (+0.01%) from 89.83%

Job # 7830704648.1

Build Type

push

github

Committed by

web-flow

Commit Message

Add NFAs, DFAs, and Automata documentation and coverage (#71)

* Add documentation for determinize methods.
Add more test coverage.

* Add more DFA coverage.

* Add invasiveMinimize comments.

* Don't change code here unless necessary.

* Fix checkstyle

* add type parameter docs + formatting

---------

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

Run Details

15804 of 17591 relevant lines covered (89.84%)

1.66 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 7830704648.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 7830704648.1

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

README BADGES
x