From a42de79292d9541db7865b54e93be2d0b6e6a094 Mon Sep 17 00:00:00 2001
From: "serena.spinoso" <serena.spinoso@polito.it>
Date: Thu, 7 Sep 2017 10:22:39 +0200
Subject: update verigraph

JIRA: PARSER-154

code optimizations about graph manipulation and formula generation.

Change-Id: Idebef19b128281aa2bc40d1aeab6e208c7ddd93d
Signed-off-by: serena.spinoso <serena.spinoso@polito.it>
---
 verigraph/examples/budapest_unsat.json | 83 ++++++++++++++++++++++++++++++++++
 1 file changed, 83 insertions(+)
 create mode 100644 verigraph/examples/budapest_unsat.json

(limited to 'verigraph/examples/budapest_unsat.json')

diff --git a/verigraph/examples/budapest_unsat.json b/verigraph/examples/budapest_unsat.json
new file mode 100644
index 0000000..978dcd7
--- /dev/null
+++ b/verigraph/examples/budapest_unsat.json
@@ -0,0 +1,83 @@
+{
+    "nodes": [
+        {
+            "name": "user1",
+            "functional_type": "endpoint",
+            "neighbours": [
+                {
+                    "name": "nat"
+                }
+            ]
+        },
+        {
+            "name": "nat",
+            "functional_type": "nat",
+            "neighbours": [
+                {
+                    "name": "firewall"
+                },
+                {
+                    "name": "user1"
+                }
+            ],
+            "configuration": [
+                "user1",
+                "user2"
+            ]
+        },
+        {
+            "name": "firewall",
+            "functional_type": "firewall",
+            "neighbours": [
+                {
+                    "name": "webserver"
+                },
+                {
+                    "name": "nat"
+                },
+                {
+                    "name": "dpi"
+                }
+            ],
+            "configuration": [
+                {
+                    "webserver": "nat"
+                }
+            ]
+        },
+        {
+            "name": "webserver",
+            "functional_type": "endpoint",
+            "neighbours": [
+                {
+                    "name": "firewall"
+                }
+            ]
+        },
+        {
+            "name": "user2",
+            "functional_type": "endpoint",
+            "neighbours": [
+                {
+                    "name": "dpi"
+                }
+            ]
+        },
+        {
+            "name": "dpi",
+            "functional_type": "nat",
+            "neighbours": [
+                {
+                    "name": "firewall"
+                },
+                {
+                    "name": "user2"
+                }
+            ],
+            "configuration": [
+                "user1",
+                "user2"
+            ]
+        }
+    ]
+}
\ No newline at end of file
-- 
cgit 1.2.3-korg