1
93%
develop: 93%

Ran 23 Jan 2024 02:37PM UTC

Files 715

Run time 15s

Badge

Embed ▾

Committed 23 Jan 2024 02:23PM UTC coverage: 89.818% (-0.01%) from 89.829%

Job # 7627151419.1

Build Type

push

github

Committed by

web-flow

Commit Message

Add more comments and make some small refactors and changes to PaigeTarjan folder (#68)

* Extract method to update Paige-Tarjan fields.

* Extract updateBlockAndPosData.

* Add more comments about behavior.

* Use getOrCreateBlock for init classes.

* Add more comments. Note post-conditions for b.ptr.
Remove unnecessary set of b.ptr.

* Fix checkstyle.

* Extend comment.
Set b.ptr directly instead of also incrementing ptr.
Since ptr is a local variable, this behavior is unnecessary.

---------

Co-authored-by: Markus Frohme <mtf90@users.noreply.github.com>

Run Details

15781 of 17570 relevant lines covered (89.82%)

1.66 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 7627151419.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 7627151419.1

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

README BADGES
x