4
93%
develop: 93%

Ran 25 Sep 2018 07:49AM UTC

Files 444

Run time 17s

Badge

Embed ▾

Committed 25 Sep 2018 07:37AM UTC coverage: 67.261% (+0.8%) from 66.424%

Job # 137.4

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

Compact overhaul (#29)

* initial draft for encapsulating shared functionality

* intermediate commit

* some cleanup and test conformance

* Finalizing changes

- Removed AbstractCompactGenericDeterministic
- Implement update operations as enum methods.
- Use generic MealyTransition class in MealyLasso to allow for easier
  refactoring of the compact one.
- Add tests for mutable automata (mainly for removing transitions).
- Added some documentation.

* core: use utility method to unbox acceptance values

* core: adjust for model-checking refactorings

Run Details

9015 of 13403 relevant lines covered (67.26%)

1.25 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 137.4

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 137.4

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

README BADGES
x