LearnLib / learnlib / 125 / 4
95%
develop: 95%

DEFAULT BRANCH: develop
Ran
Files 311
Run time 13s
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
coverage: 80.906% (+0.3%) from 80.653%
125.4

push

travis-ci

mtf90 
Improvements to black-box checking. (#59)

* Travis: use latest official LTSmin release.

* Several improvements related to black-box checking.

 - Remove the concept of a black-box oracle, instead implement an equivalent as
   an EquivalenceOracle (via an InclusionOracle). This avoids the need for a
   BBCExperiment.
 - The LassoOracle will now perform multiple omegaqueries for a single lasso.
 - Rename BlackBoxProperty to PropertyOracle, since in fact, it is an oracle.
   And place it in module learnlib-property-oracles. Now there is a clearer
   distinction between a property (typically indicated with parameter P), and
   an oracle for a property.
 - Since the module for black box oracles does not exist anymore, create a new
   module learnlib-emptiness-oracles, and move emptiness oracles there. Also
   inclusion oracles have been moved to learnlib-equivalence-oracles.
 - Move tests for lassos to AutomataLib.
 - Skip some PMD checks

* oracles: refactor to match AutomataLib changes

* various small cleanups

- removed lombok dependency for now
- removed wildcards in return types
- cleanup dependency declarations (removed explicit versions/added source
  artifacts in distribution module)
- removed obsolete PMD artifacts

* travis: use global variable for LTSMIN_VERSION

* Some generic cleanups

- remove some redundant variables
- fix typos in Javadoc
- simplify method for answering OmegaQueries

* some OmegaQuery related refactorings

- replaced the 'states' attribute with a simple integer (periodicity) that
  describes the number of times, the loop has to be unrolled until a same
  state has been observed.
- determine this value in the OmegaMembershipOracles and therefore remove
  #isSameState in AutomatonOracle.

* api: fix OmegaQuery javadoc

7182 of 8877 relevant lines covered (80.91%)

1.47 hits per line

Source Files on job 125.4