LearnLib / learnlib / 12999975393

95%

push

github

L# Algorithm (#141)

* feat: lsharp

* fix: LSoracle Rule3 SepSeq mode

* fix: tidy pom

* chore: tidy imports

* chore: spotbugs

* chore: spotbugs

* chore: spotbugs

* chore: spotbugs

* chore: spotbugs

* chore: pmd

* chore: pmd

* chore: pmd

* chore: pmd

* chore: pmd

* chore: pmd

* chore: checkstyle

* chore: checkstyle

* chore: checkstyle

* chore: checkstyle

* fix: use SymbolQueryOracle instead of MembershipOracle in LSharp
Thanks to @stateMachinist for noticing this issue and providing us with
a patch.

Co-authored-by: stateMachinist

* chore: update CI

* chore: update CI

* chore: remove L# test. I couldn't get it to work with MealyIT given the use of the SymbolQueryOracle.

* update to latest refactorings

* restore old integration test

* initial cleanup

drop dead code and make code analysis plugins happy

* replace LSMealyMachine with CompactMealy

* determinize integration tests

* de-stream-ify code

not having to deal with multithreading (and therefore not having to deal with synchronization) sped up integration tests by a factor of >30

* do not use exceptions for control flow

* cleanup dependencies

drop guava

* fix issues reported by checkerframework

* include into existing hierarchies

* general cleanups

* documentation

* ignore LSharp builder in coverage

* add comment detailing the scope of the implementation

---------

Co-authored-by: Markus Frohme <mtf90@users.noreply.github.com>
Co-authored-by: Markus Frohme <markus.frohme@udo.edu>

629 of 653 new or added lines in 13 files covered. (96.32%)

12414 of 13152 relevant lines covered (94.39%)

1.72 hits per line