Add verigraph code base

JIRA: PARSER-111

Change-Id: Ie76e14fabbb6c388ebc89d9a15dd3021b25fa892
Signed-off-by: serena.spinoso <serena.spinoso@polito.it>

1 files changed, 94 insertions, 0 deletions

diff --git a/verigraph/tester/testcases/test_user_nat_vpn_fieldmod_webserver_unsat.json b/verigraph/tester/testcases/test_user_nat_vpn_fieldmod_webserver_unsat.json
new file mode 100644
index 0000000..252e3b5
--- /dev/null
+++ b/verigraph/tester/testcases/test_user_nat_vpn_fieldmod_webserver_unsat.json
@@ -0,0 +1,94 @@
+{
+	"id": 4,
+	"name": "nat_vpn_with_fieldmodifier_test_case",
+	"description": "This test case contains a graph with client, nat, vpn (with field mod in between) 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": "cartoon",
+						"protocol": "HTTP_REQUEST",
+						"destination": "webserver"
+					}
+	            ]
+	      },
+	      {
+	         "name":"nat",
+	         "functional_type":"nat",
+	         "neighbours":[
+	            {
+	               "name":"user1"
+	            },
+	            {
+	               "name":"vpnaccess"
+	            }
+	         ],
+	         "configuration":[
+	            "user1"
+	         ]
+	      },
+	      {
+	         "name":"vpnaccess",
+	         "functional_type":"vpnaccess",
+	         "neighbours":[
+	         	{
+	               "name":"nat"
+	            },
+	            {
+	               "name":"fieldmodifier"
+	            }
+	         ],
+	         "configuration":[
+	            {"vpnexit": "vpnexit"}
+	         ]
+	      },
+	      {
+	         "name":"fieldmodifier",
+	         "functional_type":"fieldmodifier",
+	         "neighbours":[
+	         	{
+	               "name":"vpnaccess"
+	            },
+	            {
+	               "name":"vpnexit"
+	            }
+	         ]
+	      },
+	      {
+	         "name":"vpnexit",
+	         "functional_type":"vpnexit",
+	         "neighbours":[
+	            {
+	               "name":"fieldmodifier"
+	            },
+	            {
+	               "name":"webserver"
+	            }
+	         ],
+	         "configuration":[
+	            {"vpnaccess": "vpnaccess"}
+	         ]
+	      },
+	      {
+	         "name":"webserver",
+	         "functional_type":"webserver",
+	         "neighbours":[
+	         	{
+	         		"name": "vpnexit"
+	         	}
+	         ]
+	      }
+	   ]
+	}
+}
\ No newline at end of file