LearnLib / automatalib / 28

Builds Branch Commit Type Ran Committer Via Coverage
28 develop DFA: call correct method in computeSuffixOutput delegating to the more general method of output automata yields exceptions for undefined transitions, because arbitrary outputs cannot be computed for non-existing transitions. However, for DFAs we... push mtf90 travis-ci pending completion   set done
27 develop commons: porperly close DOT frames Instead of simply setting the window invisible, send a closing event, so that all eventlisteners are triggered and the frame is eventually disposed. Otherwise, the JVM may not properly terminate. push mtf90 travis-ci pending completion   set done
26 develop rename 'integration-tests' profile to 'code-analysis' push mtf90 travis-ci pending completion   set done
25 develop core: do not throw exception in simple check method - also add a test case for this push mtf90 travis-ci pending completion   set done
24 develop cleanup some code smells push mtf90 travis-ci pending completion   set done
23 develop add some more tests push mtf90 travis-ci pending completion   set done
22 develop enable findBugs plugin for integration-tests profile push mtf90 travis-ci pending completion   set done
21 develop add a bunch of tests push mtf90 travis-ci pending completion   set done
20 develop coverage: do not analyze generated sources push mtf90 travis-ci pending completion   set done
19 develop remove redundant plugin-version specifications push mtf90 travis-ci pending completion   set done
18 develop meta: fix coveralls config to detect generated sources push mtf90 travis-ci pending completion   set done
#1 develop travis: remove local artifacts before uploading new cache push Markus Frohme pending completion   set done