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

LearnLib / learnlib / 4958271589
95%

Build:
DEFAULT BRANCH: develop
Ran 12 May 2023 11:49AM UTC
Jobs 1
Files 469
Run time 4s
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

pending completion
4958271589

push

github

GitHub
Re-integrate AAAR (#91)

* initial aaar commit

not everything is working yet

* switch to a single AbstractionTree

* aaar: enable integration tests again

* cleanup AAAR code

in preparation for re-integration.

* some more cleanups/refactorings

* adjustments to AutomataLib and cleanups

* Finalizing work on AAAR re-integration

* split between ExplicitAAARLearner (the original way) and GenericAAARLearner (a simplified version)
* provide various means to access information of abstract and concrete hypotheses
* add integration tests

* cleanup

* add documentation

* cleanups

* fix checkstyle

* fix expected dot outputs

392 of 392 new or added lines in 20 files covered. (100.0%)

10728 of 11687 relevant lines covered (91.79%)

1.65 hits per line

Jobs
ID Job ID Ran Files Coverage
1 4958271589.1 12 May 2023 11:49AM UTC 0
91.79
Source Files on build 4958271589
Detailed source file information is not available for this build.
  • Back to Repo
  • Github Actions Build #4958271589
  • 2e650d9d on github
  • Prev Build on develop (#4958275841)
  • Next Build on develop (#4958470422)
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