174 different id examples (#199)

fix ids in examples so that there are no dup ids
np-guard · Feb 5, 2025 · 042ecad · 042ecad
1 parent b33fb93
commit 042ecad
Show file tree

Hide file tree

Showing 7 changed files with 57 additions and 57 deletions.
diff --git a/pkg/synthesis/tests/examples.go b/pkg/synthesis/tests/examples.go
@@ -72,15 +72,15 @@ var ExampleDumbeldore = ExampleSynthesis{
 					},
 					{
 						Name:     "Dumb2-Not-Sly",
-						ID:       9195,
+						ID:       newRuleID + 1,
 						Source:   "DumbledoreNoSly",
 						Dest:     sly,
 						Services: []string{"ANY"},
 						Action:   data.Drop,
 					},
 					{
 						Name:     "Dumb2-To-All",
-						ID:       9196,
+						ID:       newRuleID + 2,
 						Source:   "DumbledoreNoSly",
 						Dest:     "ANY",
 						Services: []string{"ANY"},
@@ -217,7 +217,7 @@ var ExampleDenyPassSimple = ExampleSynthesis{
 				Rules: []data.Rule{
 					{
 						Name:     "allow-all-to-all",
-						ID:       newRuleID,
+						ID:       10230,
 						Source:   "ANY",
 						Dest:     "ANY",
 						Services: []string{"ANY"},
@@ -264,23 +264,23 @@ var ExampleHintsDisjoint = ExampleSynthesis{
 					},
 					{
 						Name:     "Dumb2-Not-Gryf",
-						ID:       9195,
+						ID:       newRuleID + 1,
 						Source:   dum2,
 						Dest:     gry,
 						Services: []string{"ANY"},
 						Action:   data.Drop,
 					},
 					{
 						Name:     "Dumb1-To-All",
-						ID:       9196,
+						ID:       newRuleID + 2,
 						Source:   dum1,
 						Dest:     "ANY",
 						Services: []string{"ANY"},
 						Action:   data.Allow,
 					},
 					{
 						Name:     "Dumb2-To-All",
-						ID:       9196,
+						ID:       newRuleID + 3,
 						Source:   dum2,
 						Dest:     "ANY",
 						Services: []string{"ANY"},
@@ -390,15 +390,15 @@ var ExampleHogwarts = ExampleSynthesis{
 				Rules: []data.Rule{
 					{
 						Name:     "allow-Dumbledore-to-all",
-						ID:       10217,
+						ID:       10221,
 						Source:   dum,
 						Dest:     gry,
 						Services: []string{"ANY"},
 						Action:   data.JumpToApp,
 					},
 					{
 						Name:     "default-deny-env",
-						ID:       10218,
+						ID:       10300,
 						Source:   "ANY",
 						Dest:     "ANY",
 						Services: []string{"ANY"},
@@ -413,23 +413,23 @@ var ExampleHogwarts = ExampleSynthesis{
 				Rules: []data.Rule{
 					{
 						Name:     "Client-Access",
-						ID:       9195,
+						ID:       10400,
 						Source:   "ANY",
 						Dest:     web,
 						Services: []string{"ANY"},
 						Action:   data.Allow,
 					},
 					{
 						Name:     "Web-To-App-Access",
-						ID:       9196,
+						ID:       10401,
 						Source:   web,
 						Dest:     app,
 						Services: []string{"ANY"},
 						Action:   data.Allow,
 					},
 					{
 						Name:     "App-To-DB-Access",
-						ID:       9197,
+						ID:       10405,
 						Source:   app,
 						Dest:     db,
 						Services: []string{"ANY"},
@@ -497,7 +497,7 @@ var ExampleHogwartsSimpler = ExampleSynthesis{
 					},
 					{
 						Name:     "default-deny-env",
-						ID:       10218,
+						ID:       10221,
 						Source:   "ANY",
 						Dest:     "ANY",
 						Services: []string{"ANY"},
@@ -582,7 +582,7 @@ var hogwartsAppToHousesPolicy = []data.Category{
 			},
 			{
 				Name:     "default-deny-env",
-				ID:       10218,
+				ID:       10230,
 				Source:   "ANY",
 				Dest:     "ANY",
 				Services: []string{"ANY"},

diff --git a/pkg/synthesis/tests_expected_output/k8s_resources/ExampleDenyPassSimple_true_0/policies.yaml b/pkg/synthesis/tests_expected_output/k8s_resources/ExampleDenyPassSimple_true_0/policies.yaml
@@ -3,7 +3,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (*) to (group != Hufflepuff and group != Slytherin)
-        nsx-id: "1925"
+        nsx-id: "10230"
     creationTimestamp: null
     name: policy_0
 spec:
@@ -24,7 +24,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (*) to (group = Dumbledore)
-        nsx-id: "1925"
+        nsx-id: "10230"
     creationTimestamp: null
     name: policy_1
 spec:
@@ -43,7 +43,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (*) to (group != Hufflepuff and group != Slytherin)
-        nsx-id: "1925"
+        nsx-id: "10230"
     creationTimestamp: null
     name: policy_2
 spec:
@@ -64,7 +64,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (*) to (group = Dumbledore)
-        nsx-id: "1925"
+        nsx-id: "10230"
     creationTimestamp: null
     name: policy_3
 spec:

diff --git a/pkg/synthesis/tests_expected_output/k8s_resources/ExampleDumbeldore_true_0/policies.yaml b/pkg/synthesis/tests_expected_output/k8s_resources/ExampleDumbeldore_true_0/policies.yaml
@@ -41,7 +41,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (group = DumbledoreNoSly) to (group != Slytherin)
-        nsx-id: "9196"
+        nsx-id: "1927"
     creationTimestamp: null
     name: policy_2
 spec:
@@ -63,7 +63,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (group = DumbledoreNoSly) to (group != Slytherin)
-        nsx-id: "9196"
+        nsx-id: "1927"
     creationTimestamp: null
     name: policy_3
 spec:

diff --git a/pkg/synthesis/tests_expected_output/k8s_resources/ExampleHintsDisjoint_true_0/policies.yaml b/pkg/synthesis/tests_expected_output/k8s_resources/ExampleHintsDisjoint_true_0/policies.yaml
@@ -3,7 +3,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (group = Dumbledore1 and group != Dumbledore2) to (group != Slytherin)
-        nsx-id: "9196"
+        nsx-id: "1927"
     creationTimestamp: null
     name: policy_0
 spec:
@@ -27,7 +27,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (group = Dumbledore1) to (group != Slytherin and group != Gryffindor)
-        nsx-id: "9196"
+        nsx-id: "1927"
     creationTimestamp: null
     name: policy_1
 spec:
@@ -51,7 +51,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (group = Dumbledore1 and group != Dumbledore2) to (group != Slytherin)
-        nsx-id: "9196"
+        nsx-id: "1927"
     creationTimestamp: null
     name: policy_2
 spec:
@@ -75,7 +75,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (group = Dumbledore1) to (group != Slytherin and group != Gryffindor)
-        nsx-id: "9196"
+        nsx-id: "1927"
     creationTimestamp: null
     name: policy_3
 spec:
@@ -99,7 +99,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (group = Dumbledore2 and group != Dumbledore1) to (group != Gryffindor)
-        nsx-id: "9196"
+        nsx-id: "1928"
     creationTimestamp: null
     name: policy_4
 spec:
@@ -123,7 +123,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (group = Dumbledore2) to (group != Slytherin and group != Gryffindor)
-        nsx-id: "9196"
+        nsx-id: "1928"
     creationTimestamp: null
     name: policy_5
 spec:
@@ -147,7 +147,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (group = Dumbledore2 and group != Dumbledore1) to (group != Gryffindor)
-        nsx-id: "9196"
+        nsx-id: "1928"
     creationTimestamp: null
     name: policy_6
 spec:
@@ -171,7 +171,7 @@ kind: NetworkPolicy
 metadata:
     annotations:
         description: All Connections from (group = Dumbledore2) to (group != Slytherin and group != Gryffindor)
-        nsx-id: "9196"
+        nsx-id: "1928"
     creationTimestamp: null
     name: policy_7
 spec: