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

LearnLib / learnlib / 10656558741
95%

Build:
DEFAULT BRANCH: develop
Ran 01 Sep 2024 07:20PM UTC
Jobs 1
Files 512
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

01 Sep 2024 06:56PM UTC coverage: 93.56% (+0.04%) from 93.52%
10656558741

push

github

web-flow
Parallelize ADT Learner (#132)

* short:
	- new AdaptiveQuery abstract class with adt and default query extensions
	- new adaptiveADTOracle classes with parallel interfaces and static implementation
	- adaptive membership oracle for preset adaptive queries
	- sleepySUL
	- changes in ADTLearner class for new Adaptive classes

verbose:
	- added abstract class Adaptive Query in "de.learnlib.query"
	- added Adaptive_ADT_Query class in "de.learnlib.algorithm.adt.Adaptive"
	- (added ADTNode<S, I, O> getSuccessor() in ADTResetNode ( in "de.learnlib.algorithm.adt.adt" ) for Adaptive_ADT_Query
	  to work )
	- added AdaptiveMembershipOracle interface in "de.learnlib.oracle"

	- added package Adaptive in "de/learnlib/algorithm/adt/Adaptive"
	- added Sul_Adaptive_Oracle class in "de.learnlib.algorithm.adt.Adaptive"
	- added Adaptive_DEF_Query class in "de.learnlib.algorithm.adt.Adaptive"
	- added A2M_Oracle class in "de.learnlib.algorithm.adt.Adaptive"

	- added ParallelAdaptiveOracle interface in "de.learnlib.oracle"
	- added StaticParallelAdaptiveOracle in "de.learnlib.oracle.parallelism"
	- added SleepySUL class in "de.learnlib.algorithm.adt.Adaptive"

	- modified ADTLearner class:
		- added constructor for adaptive membership oracle
		- added AdaptiveMembershipOracle attribute.
		- modified startLearning() to choose between oracles
		- added closeTransitionsLeon() method to use appropriate oracles

* added contact info to the parent pom.xml

* initial refacotring ideas

known issues:
* adaptive parallel oracle testing still missing
* AQOOTBridge non-functional
* A2S_Oracle non-functional

* add parallelism tests

* some experimentation with adaptive caches

* may replace SQOOTBridge
* testing of counter currently broken

* some progress

* some progress

* tests now pass

* fix code-analysis remarks

* remove old SymbolQuery code

* some cleanups

* share some functionality

* add documentation + smal... (continued)

414 of 420 new or added lines in 23 files covered. (98.57%)

1 existing line in 1 file now uncovered.

11855 of 12671 relevant lines covered (93.56%)

1.69 hits per line

Jobs
ID Job ID Ran Files Coverage
1 10656558741.1 01 Sep 2024 07:20PM UTC 0
93.56
Source Files on build 10656558741
Detailed source file information is not available for this build.
  • Back to Repo
  • Github Actions Build #10656558741
  • bd602cbf on github
  • Prev Build on develop (#10249607369)
  • Next Build on develop (#10667742050)
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