cyclegraph: bugfix - graph reachability was reversed
[model-checker.git] / cyclegraph.cc
index fefd595a35e9100482e2ddabe4296d1af55ab78c..c526af0f590266a825f698be60fb92c4354d1a9c 100644 (file)
@@ -25,7 +25,7 @@ void CycleGraph::addEdge(const ModelAction *from, const ModelAction *to) {
        CycleNode *tonode=getNode(to);
        if (!hasCycles) {
                // Check for Cycles
-               hasCycles=checkReachable(fromnode, tonode);
+               hasCycles=checkReachable(tonode, fromnode);
        }
        fromnode->addEdge(tonode);
 }