Fix

Signed-off-by: Tyler Gu <[email protected]>
xlab-uiuc · Nov 16, 2023 · b627d32 · b627d32
1 parent ad692ac
commit b627d32
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 8 deletions.
diff --git a/acto/checker/impl/health.py b/acto/checker/impl/health.py
@@ -16,7 +16,8 @@ def check(self, _: int, snapshot: Snapshot, __: Snapshot) -> OracleResult:
             'statefulset': [],
             'deployment': [],
             'pod': [],
-            'cr': []
+            'cr': [],
+            'daemon_set': [],
         }
 
         # check Health of Statefulsets

diff --git a/data/anvil-fluent-controller/context.json b/data/anvil-fluent-controller/context.json
@@ -4,11 +4,11 @@
             "apiVersion": "apiextensions.k8s.io/v1",
             "kind": "CustomResourceDefinition",
             "metadata": {
-                "creationTimestamp": "2023-11-14T23:46:20Z",
+                "creationTimestamp": "2023-11-16T02:12:07Z",
                 "generation": 1,
                 "name": "fluentbits.anvil.dev",
-                "resourceVersion": "550",
-                "uid": "c4527b58-439f-4b68-8888-d2f393d4f384"
+                "resourceVersion": "558",
+                "uid": "3a704e39-871c-494d-80bc-044cba2c8b39"
             },
             "spec": {
                 "conversion": {
@@ -694,6 +694,7 @@
                                             },
                                             "dnsPolicy": {
                                                 "nullable": true,
+                                                "pattern": "([a-z0-9])()([-a-z0-9]*[a-z0-9])?(\\.[a-z0-9]([-a-z0-9]*[a-z0-9])?)*",
                                                 "type": "string"
                                             },
                                             "fluentBitConfigName": {
@@ -731,6 +732,7 @@
                                             },
                                             "priorityClassName": {
                                                 "nullable": true,
+                                                "pattern": "([a-z0-9])()([-a-z0-9]*[a-z0-9])?(\\.[a-z0-9]([-a-z0-9]*[a-z0-9])?)*",
                                                 "type": "string"
                                             },
                                             "resources": {
@@ -777,10 +779,12 @@
                                             },
                                             "runtimeClassName": {
                                                 "nullable": true,
+                                                "pattern": "([a-z0-9])()([-a-z0-9]*[a-z0-9])?(\\.[a-z0-9]([-a-z0-9]*[a-z0-9])?)*",
                                                 "type": "string"
                                             },
                                             "schedulerName": {
                                                 "nullable": true,
+                                                "pattern": "([a-z0-9])()([-a-z0-9]*[a-z0-9])?(\\.[a-z0-9]([-a-z0-9]*[a-z0-9])?)*",
                                                 "type": "string"
                                             },
                                             "securityContext": {
@@ -968,14 +972,14 @@
                 },
                 "conditions": [
                     {
-                        "lastTransitionTime": "2023-11-14T23:46:20Z",
+                        "lastTransitionTime": "2023-11-16T02:12:07Z",
                         "message": "no conflicts found",
                         "reason": "NoConflicts",
                         "status": "True",
                         "type": "NamesAccepted"
                     },
                     {
-                        "lastTransitionTime": "2023-11-14T23:46:20Z",
+                        "lastTransitionTime": "2023-11-16T02:12:07Z",
                         "message": "the initial names have been accepted",
                         "reason": "InitialNamesAccepted",
                         "status": "True",
@@ -991,11 +995,11 @@
         "plural": "fluentbits",
         "version": "v1"
     },
-    "learnrun_time": 104.258784532547,
+    "learnrun_time": 118.89786863327026,
     "namespace": "fluent",
     "preload_images": [
         "docker.io/kubesphere/fluent-bit:v2.1.7",
         "ghcr.io/vmware-research/verifiable-controllers/fluent-controller:dfb8a6f8905c957393cb5b879f4fab643aa439c6"
     ],
-    "static_analysis_time": 6.198883056640625e-06
+    "static_analysis_time": 3.0994415283203125e-06
 }
diff --git a/data/anvil-fluent-controller/operator.yaml b/data/anvil-fluent-controller/operator.yaml
@@ -496,6 +496,7 @@ spec:
                 dnsPolicy:
                   nullable: true
                   type: string
+                  pattern: ([a-z0-9])()([-a-z0-9]*[a-z0-9])?(\.[a-z0-9]([-a-z0-9]*[a-z0-9])?)*
                 fluentBitConfigName:
                   type: string
                 hostNetwork:
@@ -523,6 +524,7 @@ spec:
                 priorityClassName:
                   nullable: true
                   type: string
+                  pattern: ([a-z0-9])()([-a-z0-9]*[a-z0-9])?(\.[a-z0-9]([-a-z0-9]*[a-z0-9])?)*
                 resources:
                   description: ResourceRequirements describes the compute resource requirements.
                   nullable: true
@@ -557,9 +559,11 @@ spec:
                 runtimeClassName:
                   nullable: true
                   type: string
+                  pattern: ([a-z0-9])()([-a-z0-9]*[a-z0-9])?(\.[a-z0-9]([-a-z0-9]*[a-z0-9])?)*
                 schedulerName:
                   nullable: true
                   type: string
+                  pattern: ([a-z0-9])()([-a-z0-9]*[a-z0-9])?(\.[a-z0-9]([-a-z0-9]*[a-z0-9])?)*
                 securityContext:
                   description: PodSecurityContext holds pod-level security attributes and common container settings. Some fields are also present in container.securityContext.  Field values of container.securityContext take precedence over field values of PodSecurityContext.
                   nullable: true