changes

[cdsspec-compiler.git] / correctness-model / writeup / figures / rmw_mo.dot

digraph rmw_mo {
margin=0

N1 [label="A: v.store(1)", shape=none];
N2 [label="B: v.rmw()", shape=none];

N1 -> N2 [label="rf", color=red];
N1 -> N2 [color=invis, constraint=false];
}