From a42de79292d9541db7865b54e93be2d0b6e6a094 Mon Sep 17 00:00:00 2001
From: "serena.spinoso" <serena.spinoso@polito.it>
Date: Thu, 7 Sep 2017 10:22:39 +0200
Subject: update verigraph

JIRA: PARSER-154

code optimizations about graph manipulation and formula generation.

Change-Id: Idebef19b128281aa2bc40d1aeab6e208c7ddd93d
Signed-off-by: serena.spinoso <serena.spinoso@polito.it>
---
 ...test_user_nat_vpn_fieldmod_webserver_unsat.json | 94 ----------------------
 1 file changed, 94 deletions(-)
 delete mode 100644 verigraph/tester/testcases/test_user_nat_vpn_fieldmod_webserver_unsat.json

(limited to 'verigraph/tester/testcases/test_user_nat_vpn_fieldmod_webserver_unsat.json')

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
deleted file mode 100644
index 252e3b5..0000000
--- a/verigraph/tester/testcases/test_user_nat_vpn_fieldmod_webserver_unsat.json
+++ /dev/null
@@ -1,94 +0,0 @@
-{
-	"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
-- 
cgit 1.2.3-korg