MiniJavaInScala/mjis — pull request #212 by Stoeoef (2014-12-14 23:40:47+00:00)
Title: Bugfix: isomorphism check was not strict enough

Some non-isomorphic graphs were erroneously considered to be isomorphic. It could
happen that two different nodes were not compared as they've already been marked as
visited by some other comparisons. With this commit, nodes are compared with every
visit, just their predecessors might be skipped the second time.