diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/images/graphviz/litmus_addrpo.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/images/graphviz/litmus_addrpo.txt b/src/images/graphviz/litmus_addrpo.txt index d61fd5e..3bd231b 100644 --- a/src/images/graphviz/litmus_addrpo.txt +++ b/src/images/graphviz/litmus_addrpo.txt @@ -8,7 +8,7 @@ pad="0.000000"; eiid0 [label="a: Ry=1", shape="none", fontsize=8, pos="1.000000,1.125000!", fixedsize="false", height="0.111111", width="0.555556"]; eiid1 [label="c: Wx=t", shape="none", fontsize=8, pos="1.000000,0.562500!", fixedsize="false", height="0.111111", width="0.555556"]; eiid2 [label="d: Rx=t", shape="none", fontsize=8, pos="2.500000,1.125000!", fixedsize="false", height="0.111111", width="0.555556"]; -eiid3 [label="e: Rt=$v$", shape="none", fontsize=8, pos="2.500000,0.562500!", fixedsize="false", height="0.111111", width="0.555556"]; +eiid3 [label="e: Rt=v", shape="none", fontsize=8, pos="2.500000,0.562500!", fixedsize="false", height="0.111111", width="0.555556"]; eiid4 [label="f: Wy=1", shape="none", fontsize=8, pos="2.500000,0.000000!", fixedsize="false", height="0.111111", width="0.555556"]; /* the intra_causality_data edges */ |