A3, add grpahs for model and test setup

diff --git a/a3/graphs.viz b/a3/graphs.viz
new file mode 100644 (file)
index 0000000..a413cea
--- /dev/null
+++ b/a3/graphs.viz
@@ -0,0 +1,25 @@
+digraph Connection {
+  "Closed" -> "Listen" [label = "Listen?"]
+  "Listen" -> "Syn Received'" [label = "SYN?"]
+  "Syn Received'" -> "Syn Received" [label = "SYN+ACK!"]
+  "Syn Received" -> "Established" [label = "ACK?"]
+  "Syn Received" -> "Listen" [label = "RST?"]
+  "Syn Received'" -> "Listen" [label = "RST?"]
+}
+digraph Close {
+  "Established" -> "Close Wait'" [label = "FIN?"]
+  "Close Wait'" -> "Close Wait" [label = "ACK!"]
+  "Close Wait" -> "Last Ack'" [label = "close?"]
+  "Last Ack'" -> "Last Ack" [label = "FIN!"]
+  "Last Ack" -> "Closed" [label = "ACK?"]
+}
+digraph TestSetupDown {
+  "G∀ST" -> "Python Driver" [label = "TCP"]
+  "Python Driver" -> "SUT" [label = "TCP"]
+  "SUT" -> "EchoServer'" 
+}
+digraph TestSetupUp {  /*todo, invert */
+  "Python Driver" -> "G∀ST" [label = "TCP"]
+  "SUT" -> "Python Driver" [label = "TCP"]
+  "EchoServer" -> "SUT"
+}
\ No newline at end of file