137
93%

Ran 25 Sep 2018 07:49AM UTC

Jobs 1

Files 444

Run time 20s

Badge

Embed ▾

pending completion

Build # 137

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

Jobs

ID	Job ID	Ran	Files	Coverage
4	137.4	25 Sep 2018 07:49AM UTC	0	67.26	Travis Job 137.4

Source Files on build 137

Detailed source file information is not available for this build.

LearnLib / automatalib / 137
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 137

LearnLib / automatalib / 137 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 137

LearnLib / automatalib / 137
93%

README BADGES
x