Merge "Add verigraph code base"

1 files changed, 59 insertions, 0 deletions

diff --git a/verigraph/tester/testcases/test_user_nat_dpi_webserver_trafficBlocked.json b/verigraph/tester/testcases/test_user_nat_dpi_webserver_trafficBlocked.json
new file mode 100644
index 0000000..285ecf2
--- /dev/null
+++ b/verigraph/tester/testcases/test_user_nat_dpi_webserver_trafficBlocked.json
@@ -0,0 +1,59 @@
+{
+	"id": 1,
+	"name": "simple_test_case",
+	"description": "This test case contains a graph with client, firewall and server",
+	"policy_url_parameters": "?type=reachability&source=user1&destination=webserver",
+	"result": "UNSAT",
+	"graph": {
+	   "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":"webserver",
+	         "neighbours":[
+	
+	         ]
+	      }
+	   ]
+	}
+}
\ No newline at end of file