From a8b4ea7dddc4d2b239dfcc4e6354f28399d7fd98 Mon Sep 17 00:00:00 2001
From: Bill Traynor <wmat@riscv.org>
Date: Thu, 26 Jan 2023 08:20:09 -0500
Subject: Back to txt litmus test.

Graphviz in .dot format doesn't parse so moving back
to txt format.
---
 src/mm-eplan.adoc | 41 +----------------------------------------
 1 file changed, 1 insertion(+), 40 deletions(-)

(limited to 'src/mm-eplan.adoc')

diff --git a/src/mm-eplan.adoc b/src/mm-eplan.adoc
index 6d9454e..1fd1995 100644
--- a/src/mm-eplan.adoc
+++ b/src/mm-eplan.adoc
@@ -91,46 +91,7 @@ particular valid or invalid execution on the right.
 !===
 |
 !===
-//a! graphviz::images/graphviz/litmus_sample.adoc[]
-!
-[graphivz]
-....
-digraph G {
-
-splines=spline;
-pad="0.000000";
-
-
-/* the unlocked events */
-eiid0 [label="a: Wx=1", shape="none", fontsize=8, pos="1.000000,2.109375!", fixedsize="false", height="0.111111", width="0.555556"];
-eiid1 [label="b: Wx=2", shape="none", fontsize=8, pos="1.000000,1.546875!", fixedsize="false", height="0.111111", width="0.555556"];
-eiid2 [label="c: Rx=1", shape="none", fontsize=8, pos="1.000000,0.984375!", fixedsize="false", height="0.111111", width="0.555556"];
-eiid3 [label="d: Wx=3", shape="none", fontsize=8, pos="1.000000,0.421875!", fixedsize="false", height="0.111111", width="0.555556"];
-eiid4 [label="e: Wx=4", shape="none", fontsize=8, pos="1.850000,1.687500!", fixedsize="false", height="0.111111", width="0.555556"];
-eiiid6 [label="", shape=none, width=0.05, height=0.1, pos="1.0,1.85!";]
-eiid5 [label="f: Wx=5", shape="none", fontsize=8, pos="1.850000,1.125000!", fixedsize="false", height="0.111111", width="0.555556"];
-
-/* the intra_causality_data edges */
-
-
-/* the intra_causality_control edges */
-
-/* the poi edges */
-/* the rfmap edges */
-
-
-/* The viewed-before edges */
-eiid0 -> eiid1 [label=<<font color="blue">co</font>>, color="blue", fontsize=11, penwidth="3.000000", arrowsize="0.666700"];
-eiid0 -> eiid2 [label=<<font color="red">rf</font>>, color="red", fontsize=11, penwidth="3.000000", arrowsize="0.666700"];
-eiid1 -> eiid0 [label=<<font color="blue">co</font>>, color="blue", fontsize=11, penwidth="3.000000", arrowsize="0.666700"];
-eiid1 -> eiid3 [label=<<font color="blue">co</font>>, color="blue", fontsize=11, penwidth="3.000000", arrowsize="0.666700"];
-eiid2 -> eiid0 [label=<<font color="#ffa040">fr</font>>, color="#ffa040", fontsize=11, penwidth="3.000000", arrowsize="0.666700"];
-eiid2 -> eiid1 [label=<<font color="#ffa040">fr</font>>, color="#ffa040", fontsize=11, penwidth="3.000000", arrowsize="0.666700"];
-eiid2 -> eiid3 [label=<<font color="#ffa040">fr</font>>, color="#ffa040", fontsize=11, penwidth="3.000000", arrowsize="0.666700"];
-eiiid6 [label="", shape=none, width=0.05, height=0.1, pos="1.0,1.85!";]
-eiid4 -> eiid5 [label=<<font color="blue">co</font>>, color="blue", fontsize=11, penwidth="3.000000", arrowsize="0.666700"];
-}
-....
+a! graphviz::images/graphviz/litmus_sample.txt[]
 !===
 |===
 
-- 
cgit v1.1

