Fix

Signed-off-by: Tyler Gu <[email protected]>
xlab-uiuc · Nov 26, 2023 · 22a3651 · 22a3651
1 parent 229b1c6
commit 22a3651
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/data/anvil-zookeeper-operator/context.json b/data/anvil-zookeeper-operator/context.json
@@ -1006,7 +1006,7 @@
     "namespace": "zookeeper",
     "preload_images": [
         "docker.io/pravega/zookeeper:0.2.14",
-        "ghcr.io/vmware-research/verifiable-controllers/zookeeper-controller:77b041d7b76bf8e98acfd487a9db58192b2b375b"
+        "ghcr.io/vmware-research/verifiable-controllers/zookeeper-controller:df7021d160486c114686e5b787a406abaafc9f90"
     ],
     "static_analysis_time": 6.9141387939453125e-06
 }
diff --git a/data/anvil-zookeeper-operator/operator-crash.yaml b/data/anvil-zookeeper-operator/operator-crash.yaml
@@ -786,7 +786,7 @@ spec:
         app.kubernetes.io/name: zookeeper-controller
     spec:
       containers:
-        - image: ghcr.io/vmware-research/verifiable-controllers/zookeeper-controller:77b041d7b76bf8e98acfd487a9db58192b2b375b
+        - image: ghcr.io/vmware-research/verifiable-controllers/zookeeper-controller:df7021d160486c114686e5b787a406abaafc9f90
           name: controller
           command:
           - /usr/local/bin/controller

diff --git a/data/anvil-zookeeper-operator/operator.yaml b/data/anvil-zookeeper-operator/operator.yaml
@@ -792,6 +792,6 @@ spec:
         app.kubernetes.io/name: zookeeper-controller
     spec:
       containers:
-        - image: ghcr.io/vmware-research/verifiable-controllers/zookeeper-controller:77b041d7b76bf8e98acfd487a9db58192b2b375b
+        - image: ghcr.io/vmware-research/verifiable-controllers/zookeeper-controller:df7021d160486c114686e5b787a406abaafc9f90
           name: controller
       serviceAccountName: zookeeper-controller