7627151419
93%

Ran 23 Jan 2024 02:37PM UTC

Jobs 1

Files 715

Run time 48s

Badge

Embed ▾

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

Build # 7627151419

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	7627151419.1	23 Jan 2024 02:37PM UTC	715	89.82

LearnLib / automatalib / 7627151419
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7627151419

LearnLib / automatalib / 7627151419 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7627151419

LearnLib / automatalib / 7627151419
93%

README BADGES
x