1 files changed, 52 insertions, 0 deletions
diff --git a/verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json b/verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json
new file mode 100644
index 0000000..3dc8a56
--- /dev/null
+++ b/verigraph/examples/simple_user-nat-dpi-ws_UNSAT.json
@@ -0,0 +1,52 @@
+{
+   "nodes":[
+      {
+         "name":"user1",
+         "functional_type":"endhost",
+         "neighbours":[
+            {
+               "name":"nat"
+            }
+         ],
+        "configuration":
+            [
+                {
+                    "body": "sex",
+                    "protocol": "HTTP_REQUEST",
+                    "destination": "webserver"
+                }
+            ]
+      },
+      {
+         "name":"nat",
+         "functional_type":"nat",
+         "neighbours":[
+            {
+               "name":"dpi"
+            }
+         ],
+         "configuration":[
+            "user1"
+         ]
+      },
+      {
+         "name":"dpi",
+         "functional_type":"dpi",
+         "neighbours":[
+            {
+               "name":"webserver"
+            }
+         ],
+         "configuration":[
+           "sex", "droga"
+         ]
+      },
+      {
+         "name":"webserver",
+         "functional_type":"endpoint",
+         "neighbours":[
+
+         ]
+      }
+   ]
+}
+\ No newline at end of file