1
93%
develop: 93%

Ran 26 Sep 2023 09:05AM UTC

Files 729

Run time 21s

Badge

Embed ▾

Committed 26 Sep 2023 08:37AM UTC coverage: 87.919% (+0.9%) from 87.044%

Job # 6310178238.1

Build Type

push

github

Committed by

web-flow

Commit Message

Re-integrate the work on procedural systems (#58)

* initial import of SBAs and SPMMs

* refactorings / cleanups

* small cleanups and test cases

* add SPA-to-SEVPA converters

* initial W-method implementations for SBAs & SPMMs

* share functionality and clean up

* make conformance tests work with non-minimal systems

* add serialization tests + cleanups

* update SPA example

* share funtionality of interfaces

* improve some nullability analysis

* make procedural W-method computation lazy

* make epsilon iterator reusable

* cleanups

* add/improve documentation

* refactor SPMM#getOutputAlphabet and add more docs

* add initial characterizing set implementation for OneSEVPAs

* add 1-SEVPA -> SPA transformer

* add CFMPS view for SBAs

* optimize computation of SEVPA separating words

* cleanup documentation

* update changelog/readme

* cleanups

* add tests/fixes to ProceduralInputAlphabet

* refactor SPMM constructor signature

Run Details

15465 of 17590 relevant lines covered (87.92%)

1.62 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6310178238.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 6310178238.1

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

README BADGES
x