1
95%
develop: 95%

Ran 23 Oct 2023 10:47AM UTC

Files 488

Run time 9s

Badge

Embed ▾

Committed 23 Oct 2023 10:13AM UTC coverage: 93.275% (-0.003%) from 93.278%

Job # 6611855081.1

Build Type

push

github

Committed by

mtf90

Commit Message

partially revert f4f47b4

Make the (Base)PTA Integer-based again and instead use explicit wrapper classes to interpret it as a DFA/MealyMachine/etc.. This simplifies the internals of the (Base)PTA class and allows for more flexible usage (e.g., using the same PTA for different contexts). Performance-wise the number of symbol-to-index transformations should remain identical for the common use-cases (e.g., RPNI-based learning, etc.).

Run Details

11553 of 12386 relevant lines covered (93.27%)

1.69 hits per line

LearnLib / learnlib / 6611855081 / 1
95%
develop: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6611855081.1

LearnLib / learnlib / 6611855081 / 1 95% develop: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6611855081.1

LearnLib / learnlib / 6611855081 / 1
95%
develop: 95%

README BADGES
x