LearnLib / automatalib / 91

93%

push

travis-ci

<a href="https://github.com/LearnLib/automatalib/commit/<a class=hub.com/LearnLib/automatalib/commit/ceb9f9633460ba6aef876914d413954646517d7a">ceb9f9633<a href="https://github.com/LearnLib/automatalib/commit/ceb9f9633460ba6aef876914d413954646517d7a">&quot;&gt;Fixing issue #21 (#22)

* Fixing an error in the Tarjan&amp;#39;s strong connected component algorithm and extended the test case set for this algorithm.

* Making pmd pass in the util subproject

* Revert &amp;quot;Making pmd pass in the util subproject&quot;

This reverts commit </a><a class="double-link" href="https://github.com/LearnLib/automatalib/commit/<a class="double-link" href="https://github.com/LearnLib/automatalib/commit/6cba2a548b43b1d2dfbc9802a6d424e3fd2fcba4">6cba2a548</a>">6cba2a548</a><a href="https://github.com/LearnLib/automatalib/commit/ceb9f9633460ba6aef876914d413954646517d7a">.

* reformatting

make checkstyle/pmd happy

* Rework fix for SCC algorithm

- revert most of the changes of 8231a671 because they introduced a change in
  the API and unnecessarily traversed nodes multiple times. However the commit
  discovered one core issue, which was during cycle detection the update of
  the SCC id with the start number (wrong) rather than the scc id (right).

  This fix, along with correct handling of cached values is now implemented
  ontop of the old code-base.
- Merged the &quot;AdvancedSCCTest&quot; with the regular one.
- Refactored internal variable names to be more precise and added JavaDoc/
  comments on what (some of) the individual variables/methods actually do.

8055 of 13281 relevant lines covered (60.65%)

1.13 hits per line