(1) add actions for the fence

[model-checker.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index c7bb69b990d801dc026765420e918e35a31f1b0d..ecf8a781c2770ebd09766cff47030e3e094bd2d7 100644 (file)
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -130,6 +130,9 @@ void CycleGraph::dumpGraphToFile(const char *filename) {
                std::vector<CycleNode *> * edges=cn->getEdges();
                const ModelAction *action=cn->getAction();
                fprintf(file, "N%u [label=\"%u, T%u\"];\n",action->get_seq_number(),action->get_seq_number(), action->get_tid());
+               if (cn->getRMW()!=NULL) {
+                       fprintf(file, "N%u -> N%u[style=dotted];\n", action->get_seq_number(), cn->getRMW()->getAction()->get_seq_number());
+               }
                for(unsigned int j=0;j<edges->size();j++) {
                  CycleNode *dst=(*edges)[j];
                        const ModelAction *dstaction=dst->getAction();