4
93%
develop: 93%

Ran 25 Sep 2018 07:07AM UTC

Files 443

Run time 16s

Badge

Embed ▾

Committed 25 Sep 2018 06:53AM UTC coverage: 66.424% (-0.1%) from 66.536%

Job # 135.4

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

Improvements to model checking. (#28)

* Travis: use latest official LTSmin release.

* Improve the API related to modelchecking.

 - Remove two parameters from interface Lasso.
 - Remove the return type parameter from the ModelChecker interface.
 - Add a modelchecker delegate interface.
 - Add a modelchecker cache.
 - Add an implementation of a modelchecker cache, based on the size
   of the size of the last automaton.
 - Move tests for lassos from LearnLib to AutomataLib.

* Make LTSmin throw an exception when an ETF can not be checked.

* Suppress PMD warning.

* refactor some of the model checking code

- use type variable for modelchecker result type again
- removed ModelChecker*Delegate interfaces (rather use the interface approach
  as internal implementation detail

* fix several small issues adressed in PR review

* use consistent terminology in javadoc

Run Details

9017 of 13575 relevant lines covered (66.42%)

1.22 hits per line

LearnLib / automatalib / 135 / 4
93%
develop: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 135.4

LearnLib / automatalib / 135 / 4 93% develop: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 135.4

LearnLib / automatalib / 135 / 4
93%
develop: 93%

README BADGES
x