From: Brian Norris <banorris@uci.edu>
Date: Tue, 31 Jul 2012 22:59:56 +0000 (-0700)
Subject: cyclegraph: bugfix - graph reachability was reversed
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=7abd49a94a2096b0dbed4403ba4397b3ee96422b;ds=sidebyside

cyclegraph: bugfix - graph reachability was reversed

[Split from Brian Demsky's commit]
---

diff --git a/cyclegraph.cc b/cyclegraph.cc
index fefd595a..c526af0f 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -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);
 }