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

LearnLib / learnlib / 6611855081
95%

Build:
DEFAULT BRANCH: develop
Ran 23 Oct 2023 10:47AM UTC
Jobs 1
Files 488
Run time 8s
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

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

push

github

mtf90
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.).

98 of 98 new or added lines in 13 files covered. (100.0%)

11553 of 12386 relevant lines covered (93.27%)

1.69 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
83.33
datastructures/pta/src/main/java/de/learnlib/datastructure/pta/wrapper/MealyWrapper.java
3
92.19
-0.06% datastructures/pta/src/main/java/de/learnlib/datastructure/pta/RedBlueMerge.java
5
90.43
-0.88% datastructures/pta/src/main/java/de/learnlib/datastructure/pta/BasePTA.java

Uncovered Existing Lines

Lines Coverage ∆ File
2
90.43
-0.88% datastructures/pta/src/main/java/de/learnlib/datastructure/pta/BasePTA.java
Jobs
ID Job ID Ran Files Coverage
1 6611855081.1 23 Oct 2023 10:47AM UTC 488
93.27
Source Files on build 6611855081
  • Tree
  • List 488
  • Changed 12
  • Source Changed 11
  • Coverage Changed 9
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #6611855081
  • b93912c5 on github
  • Prev Build on develop (#6606273736)
  • Next Build on develop (#6618826432)
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

© 2025 Coveralls, Inc