update verigraph

[parser.git] / verigraph / tester / testcases / test_budapest_sap1_webserver_sat.json

diff --git a/verigraph/tester/testcases/test_budapest_sap1_webserver_sat.json b/verigraph/tester/testcases/test_budapest_sap1_webserver_sat.json
index 62b4eb5..6a64eea 100644 (file)
--- a/verigraph/tester/testcases/test_budapest_sap1_webserver_sat.json
+++ b/verigraph/tester/testcases/test_budapest_sap1_webserver_sat.json
@@ -1,122 +1,128 @@
 {
-   "id":6,
-   "name":"budapest_test_case_sat",
-   "description":"This test case verifies budapest scenario, chain sap1->webserver1",
-   "policy_url_parameters":"?type=reachability&source=sap1&destination=webserver1",
-   "result":"SAT",
-   "graph": {
-      "nodes":[
-         {
-            "neighbours":[
-               {
-                  "name":"webserver1"
-               },
-               {
-                  "name":"nat"
-               }
-            ],
-            "configuration":[
-               {
-                  "ip_sap1":"webserver1"
-               }
-            ],
-            "name":"fw",
-            "functional_type":"firewall"
-         },
-         {
-            "neighbours":[
-               {
-                  "name":"sap3"
-               },
-               {
-                  "name":"fw"
-               }
-            ],
-            "name":"webserver1",
-            "functional_type":"webserver"
-         },
-         {
-            "neighbours":[
-               {
-                  "name":"sap1"
-               },
-               {
-                  "name":"dpi"
-               },
-               {
-                  "name":"fw"
-               }
-            ],
-            "configuration":[
-               "sap1",
-               "sap2"
-            ],
-            "name":"nat",
-            "functional_type":"nat"
-         },
-         {
-            "neighbours":[
-               {
-                  "name":"sap2"
-               }
-            ],
-            "configuration":[
-               "drug"
-            ],
-            "name":"dpi",
-            "functional_type":"dpi"
-         },
-         {
-            "neighbours":[
-               {
-                  "name":"nat"
-               }
-            ],
-            "configuration":[
-               {
-                  "url":"www.facebook.com",
-                  "body":"cats",
-                  "destination":"webserver1",
-                  "protocol":"HTTP_REQUEST"
-               }
-            ],
-            "name":"sap2",
-            "functional_type":"endhost"
-         },
-         {
-            "neighbours":[
-               {
-                  "name":"nat"
-               }
-            ],
-            "configuration":[
-               {  
-                  "url":"www.facebook.com",
-                  "body":"cats",
-                  "destination":"webserver1",
-                  "protocol":"HTTP_REQUEST"
-               }
-            ],
-            "name":"sap1",
-            "functional_type":"endhost"
-         },
-         {
-            "neighbours":[
-               {
-                  "name":"webserver1"
-               }
-            ],
-            "configuration":[
-               {
-                  "url":"www.facebook.com",
-                  "body":"cats",
-                  "destination":"webserver1",
-                  "protocol":"HTTP_REQUEST"
-               }
-            ],
-            "name":"sap3",
-            "functional_type":"endhost"
-         }
-      ]
-   }
+    "id": 6,
+    "name": "budapest_test_case_sat",
+    "description": "This test case verifies budapest scenario, chain sap1->webserver1",
+    "policy_url_parameters": [
+        "?type=reachability&source=sap1&destination=webserver1",
+        "?type=reachability&source=sap3&destination=webserver1"
+    ],
+    "results": [
+        "SAT",
+        "SAT"
+    ],
+    "graph": {
+        "nodes": [
+            {
+                "neighbours": [
+                    {
+                        "name": "webserver1"
+                    },
+                    {
+                        "name": "nat"
+                    }
+                ],
+                "configuration": [
+                    {
+                        "sap1": "webserver1"
+                    }
+                ],
+                "name": "fw",
+                "functional_type": "firewall"
+            },
+            {
+                "neighbours": [
+                    {
+                        "name": "sap3"
+                    },
+                    {
+                        "name": "fw"
+                    }
+                ],
+                "name": "webserver1",
+                "functional_type": "webserver"
+            },
+            {
+                "neighbours": [
+                    {
+                        "name": "sap1"
+                    },
+                    {
+                        "name": "dpi"
+                    },
+                    {
+                        "name": "fw"
+                    }
+                ],
+                "configuration": [
+                    "sap1",
+                    "sap2"
+                ],
+                "name": "nat",
+                "functional_type": "nat"
+            },
+            {
+                "neighbours": [
+                    {
+                        "name": "sap2"
+                    }
+                ],
+                "configuration": [
+                    "drug"
+                ],
+                "name": "dpi",
+                "functional_type": "dpi"
+            },
+            {
+                "neighbours": [
+                    {
+                        "name": "nat"
+                    }
+                ],
+                "configuration": [
+                    {
+                        "url": "www.facebook.com",
+                        "body": "cats",
+                        "destination": "webserver1",
+                        "protocol": "HTTP_REQUEST"
+                    }
+                ],
+                "name": "sap2",
+                "functional_type": "endhost"
+            },
+            {
+                "neighbours": [
+                    {
+                        "name": "nat"
+                    }
+                ],
+                "configuration": [
+                    {
+                        "url": "www.facebook.com",
+                        "body": "cats",
+                        "destination": "webserver1",
+                        "protocol": "HTTP_REQUEST"
+                    }
+                ],
+                "name": "sap1",
+                "functional_type": "endhost"
+            },
+            {
+                "neighbours": [
+                    {
+                        "name": "webserver1"
+                    }
+                ],
+                "configuration": [
+                    {
+                        "url": "www.facebook.com",
+                        "body": "cats",
+                        "destination": "webserver1",
+                        "protocol": "HTTP_REQUEST"
+                    }
+                ],
+                "name": "sap3",
+                "functional_type": "endhost"
+            }
+        ]
+    }
 }
\ No newline at end of file