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

LearnLib / automatalib / 8485857219
93%

Build:
DEFAULT BRANCH: develop
Ran 29 Mar 2024 09:58PM UTC
Jobs 1
Files 720
Run time 1min
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

29 Mar 2024 09:44PM UTC coverage: 90.014% (+0.1%) from 89.882%
8485857219

push

github

web-flow
Overhaul powersetViews (#78)

* initial overhaul

* some more refactorings

* cleanups and speedups

* switch to powerset based determinization

* improve test cases

* update docs

* update changelog

* renaming

94 of 97 new or added lines in 19 files covered. (96.91%)

15855 of 17614 relevant lines covered (90.01%)

1.66 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
88.89
0.0% api/src/main/java/net/automatalib/ts/TransitionSystem.java
1
83.33
-16.67% api/src/main/java/net/automatalib/ts/acceptor/AcceptorTS.java
1
87.78
0.76% core/src/main/java/net/automatalib/automaton/base/AbstractCompactSimpleNondet.java
Jobs
ID Job ID Ran Files Coverage
1 8485857219.1 29 Mar 2024 09:58PM UTC 720
90.01
Source Files on build 8485857219
  • Tree
  • List 720
  • Changed 17
  • Source Changed 17
  • Coverage Changed 17
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #8485857219
  • 519d569e on github
  • Prev Build on develop (#8208485978)
  • Next Build on develop (#8878658367)
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