1 files changed, 122 insertions, 0 deletions
diff --git a/verigraph/tester/testcases/test_budapest_sap1_webserver_unsat.json b/verigraph/tester/testcases/test_budapest_sap1_webserver_unsat.json
new file mode 100644
index 0000000..211b310
--- /dev/null
+++ b/verigraph/tester/testcases/test_budapest_sap1_webserver_unsat.json
@@ -0,0 +1,122 @@
+{  
+   "id":7,
+   "name":"budapest_test_case_unsat",
+   "description":"This test case verifies budapest scenario, chain sap1->webserver1 with fw blocking",
+   "policy_url_parameters":"?type=reachability&source=sap1&destination=webserver1",
+   "result":"UNSAT",
+   "graph":{
+      "nodes":[
+         {
+            "neighbours":[
+               {
+                  "name":"webserver1"
+               },
+               {
+                  "name":"nat"
+               }
+            ],
+            "configuration":[
+               {
+                  "webserver1":"nat"
+               }
+            ],
+            "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