1
95%
develop: 95%

Ran 12 May 2023 11:49AM UTC

Files 469

Run time 6s

Badge

Embed ▾

Committed 12 May 2023 11:49AM UTC coverage: 91.794%. Remained the same

Job # 4958271589.1

Build Type

push

github

Committed by GitHub

Commit Message

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

Coverage Stats

10728 of 11687 relevant lines covered (91.79%)

1.65 hits per line

LearnLib / learnlib / 4958271589 / 1
95%
develop: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4958271589.1

LearnLib / learnlib / 4958271589 / 1 95% develop: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4958271589.1

LearnLib / learnlib / 4958271589 / 1
95%
develop: 95%

README BADGES
x