6709679009
93%

Ran 31 Oct 2023 04:59PM UTC

Jobs 1

Files 711

Run time 1min

Badge

Embed ▾

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

Build # 6709679009

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

21 of 21 new or added lines in 2 files covered. (100.0%)

15793 of 17578 relevant lines covered (89.85%)

1.67 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	6709679009.1	31 Oct 2023 04:59PM UTC	711	89.85

LearnLib / automatalib / 6709679009
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6709679009

LearnLib / automatalib / 6709679009 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6709679009

LearnLib / automatalib / 6709679009
93%

README BADGES
x