1
93%
develop: 93%

Ran 31 Oct 2023 04:59PM UTC

Files 711

Run time 21s

Badge

Embed ▾

Committed 31 Oct 2023 04:38PM UTC coverage: 89.845% (-0.01%) from 89.857%

Job # 6709679009.1

Build Type

push

github

Committed by

web-flow

Commit Message

Add comments and remove redundant code in PaigeTarjan (#60)

* Use helper method to reduce redundant code.

* Extract out repeated call. (Consider using in OneSEVPAMinimizer as
well.)

* Extract out repeated call. (Consider using in OneSEVPAMinimzer as well.)

* Add comments to help clarify the Paige-Tarjan implementation.

* Improving comments and renaming method per feedback.

* Fix for Checkstyle.

Run Details

15793 of 17578 relevant lines covered (89.85%)

1.67 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6709679009.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6709679009.1

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

README BADGES
x