• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

LearnLib / automatalib / 6310178238
93%

Build:
DEFAULT BRANCH: develop
Ran 26 Sep 2023 09:05AM UTC
Jobs 1
Files 729
Run time 23s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

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

push

github

web-flow
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

1286 of 1286 new or added lines in 40 files covered. (100.0%)

15465 of 17590 relevant lines covered (87.92%)

1.62 hits per line

Jobs
ID Job ID Ran Files Coverage
1 6310178238.1 26 Sep 2023 09:05AM UTC 0
87.92
Source Files on build 6310178238
Detailed source file information is not available for this build.
  • Back to Repo
  • Github Actions Build #6310178238
  • 560a9631 on github
  • Prev Build on develop (#5743668167)
  • Next Build on develop (#6311320183)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc