135
93%

Ran 25 Sep 2018 07:07AM UTC

Jobs 1

Files 443

Run time 19s

Badge

Embed ▾

pending completion

Build # 135

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

Jobs

ID	Job ID	Ran	Files	Coverage
4	135.4	25 Sep 2018 07:07AM UTC	0	66.42	Travis Job 135.4

Source Files on build 135

Detailed source file information is not available for this build.

LearnLib / automatalib / 135
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 135

LearnLib / automatalib / 135 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 135

LearnLib / automatalib / 135
93%

README BADGES
x