projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge remote-tracking branch 'origin/makefile'
[model-checker.git]
/
cyclegraph.cc
diff --git
a/cyclegraph.cc
b/cyclegraph.cc
index 0a3d8858e795849f16ab1cae667b2e34bb1367cc..26235d651e10ecb5e2178d281048ea6ce5007893 100644
(file)
--- a/
cyclegraph.cc
+++ b/
cyclegraph.cc
@@
-89,10
+89,10
@@
void CycleGraph::addRMWEdge(const ModelAction *from, const ModelAction *rmw) {
}
/* Transfer all outgoing edges from the from node to the rmw node */
}
/* Transfer all outgoing edges from the from node to the rmw node */
- /* This process should not add a cycle because either:
+ /* This process should not add a cycle because either:
* (1) The rmw should not have any incoming edges yet if it is the
* new node or
* (1) The rmw should not have any incoming edges yet if it is the
* new node or
- * (2) the fromnode is the new node and therefore it should not
+ * (2) the fromnode is the new node and therefore it should not
* have any outgoing edges.
*/
std::vector<CycleNode *> * edges=fromnode->getEdges();
* have any outgoing edges.
*/
std::vector<CycleNode *> * edges=fromnode->getEdges();