LearnLib / learnlib / 93

94%

develop: 95%

push

travis-ci

<a href="https://github.com/LearnLib/learnlib/commit/<a class=hub.com/LearnLib/learnlib/commit/<a class="double-link" href="https://git"><a class=hub.com/LearnLib/learnlib/commit/<a class="double-link" href="https://git"><a class=hub.com/LearnLib/learnlib/commit/<a class="double-link" href="https://git"><a class=hub.com/LearnLib/learnlib/commit/<a class="double-link" href="https://git"><a class=hub.com/LearnLib/learnlib/commit/<a class="double-link" href="https://git"><a class=hub.com/LearnLib/learnlib/commit/95ef80a38b0c7ecd5047ba69dc067101c665f3a5">95ef80a38">&lt;a href=&quot;https://github.com/LearnLib/learnlib/commit/</a><a class="double-link" href="https://github.com/LearnLib/learnlib/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/LearnLib/learnlib/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/LearnLib/learnlib/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/LearnLib/learnlib/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/LearnLib/learnlib/commit/95ef80a38b0c7ecd5047ba69dc067101c665f3a5">95ef80a38</a><a href="https://github.com/LearnLib/learnlib/commit/95ef80a38b0c7ecd5047ba69dc067101c665f3a5">&lt;a href=&quot;https://github.com/LearnLib/learnlib/commit/95ef80a38b0c7ecd5047ba69dc067101c665f3a5&quot;&gt;&amp;quot;&amp;gt;&amp;amp;lt;a href=&amp;amp;quot;https://github.com/LearnLib/learnlib/commit/&amp;lt;/a&amp;gt;&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://github.com/LearnLib/learnlib/commit/&amp;amp;lt;a class=&amp;amp;quot;double-link&amp;amp;quot; href=&amp;amp;quot;https://git&amp;quot;&amp;gt;&amp;amp;lt;a class=&amp;lt;/a&amp;gt;hub.com/LearnLib/learnlib/commit/95ef80a38b0c7ecd5047ba69dc067101c665f3a5&amp;quot;&amp;gt;95ef80a38&amp;lt;/a&amp;gt;&amp;lt;a href=&amp;quot;https://github.com/LearnLib/learnlib/commit/95ef80a38b0c7ecd5047ba69dc067101c665f3a5&amp;quot;&amp;gt;&amp;amp;lt;a href=&amp;amp;quot;https://github.com/LearnLib/learnlib/commit/95ef80a38b0c7ecd5047ba69dc067101c665f3a5&amp;amp;quot;&amp;amp;gt;&amp;amp;amp;quot;&amp;amp;amp;gt;travis: also build release branch

Also setup travis to clone the corresponding branch of AutomataLib, so that
e.g. building the release branch also uses the release branch of AutomataLib.

(cherry picked from commit &amp;amp;amp;lt;/a&amp;amp;amp;gt;&amp;amp;amp;lt;... (continued)

6238 of 8621 relevant lines covered (72.36%)

4.05 hits per line