LearnLib / automatalib / 2321629951

Builds Branch Commit Type Ran Committer Via Coverage
2321629951 develop fix bug in IncrementalWMethodTestsIterator single-state automata have no distinguishing suffixes. The iterator wrongfully tried to access an empty suffix list which caused an IndexOutOfBoundsException. push Markus Frohme github pending completion   set done
2055394340 develop fixes, cleanups, convenience push Markus Frohme github pending completion   set done
2031323365 develop (temporary) workaround for bug in SPA equivalence push Markus Frohme github pending completion   set done
1963027634 develop dot: more robust HTML syntax + tests push Markus Frohme github pending completion   set done
1873121529 develop fix another bug in IncrementalPCDFADAGBuilder push Markus Frohme github pending completion   set done
1872642414 develop incremental: more test coverage push Markus Frohme github pending completion   set done
1838346068 develop improve performance of SingletonAlphabet push Markus Frohme github pending completion   set done
1821090531 develop cleanup Symbol implementation push Markus Frohme github pending completion   set done
1795287531 develop cleanup nullability annotations push Markus Frohme github pending completion   set done
1777008956 develop add generic interface for k-SEVPAs push Markus Frohme github pending completion   set done
1748286697 develop cleanups push Markus Frohme github pending completion   set done
1745544342 develop cleanup visibility of fields push Markus Frohme github pending completion   set done
1683815627 develop clarify IntSet constraints push Markus Frohme github pending completion   set done
1650405677 develop fix bug in CharacterizingSets push Markus Frohme github pending completion   set done
1558758185 develop m3c: fix error message push Markus Frohme github pending completion   set done