Skip to content

Commit

Permalink
Fix
Browse files Browse the repository at this point in the history 
Signed-off-by: Tyler Gu <[email protected]>
  • Loading branch information
@tylergu
tylergu committed Nov 18, 2023
1 parent c38f87f commit 5f9a6b7
Show file tree
Hide file tree
Showing 50 changed files with 72 additions and 2 deletions.
1 change: 1 addition & 0 deletions acto/checker/impl/tests/crash_system_state_0.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5678,6 +5678,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"kube-root-ca.crt": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/crash_system_state_1.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7125,6 +7125,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"kube-root-ca.crt": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/health_system_state_0.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5891,6 +5891,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"kube-root-ca.crt": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/health_system_state_1.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2236,6 +2236,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"b569adb7.cassandra.datastax.com": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/health_system_state_2.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6057,6 +6057,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"kube-root-ca.crt": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/health_system_state_3.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6192,6 +6192,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"6cab913b.redis.opstreelabs.in": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/health_system_state_4.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7640,6 +7640,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"kube-root-ca.crt": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/health_system_state_5.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5846,6 +5846,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"kube-root-ca.crt": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_0.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5997,6 +5997,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"b569adb7.cassandra.datastax.com": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_0_prev.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5997,6 +5997,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"b569adb7.cassandra.datastax.com": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_1.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5997,6 +5997,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"b569adb7.cassandra.datastax.com": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_1_prev.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5997,6 +5997,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"b569adb7.cassandra.datastax.com": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_2.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5891,6 +5891,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"kube-root-ca.crt": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_2_prev.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5891,6 +5891,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"kube-root-ca.crt": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_3.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5295,6 +5295,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"kube-root-ca.crt": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_3_prev.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5295,6 +5295,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"kube-root-ca.crt": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_4.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5891,6 +5891,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"kube-root-ca.crt": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_4_prev.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5891,6 +5891,7 @@
}
},
"daemonset_pods": {},
"daemon_set": {},
"config_map": {
"kube-root-ca.crt": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_5.json
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-server-0": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_5_prev.json
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-server-0": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_6.json
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-server-0": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_6_prev.json
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-server-0": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_7.json
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-server-0": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_7_prev.json
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-server-0": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_8.json
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-follower-0": {
"api_version": null,
Expand Down
1 change: 1 addition & 0 deletions acto/checker/impl/tests/state_system_state_8_prev.json
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-follower-0": {
"api_version": null,
Expand Down
2 changes: 1 addition & 1 deletion data/anvil-rabbitmq-operator/operator-crash.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -718,7 +718,7 @@ spec:
app.kubernetes.io/name: rabbitmq-controller
spec:
containers:
- image: ghcr.io/vmware-research/verifiable-controllers/rabbitmq-controller:b3ead032464239272e77420ea297d6e1af188b35
- image: ghcr.io/vmware-research/verifiable-controllers/rabbitmq-controller:1e00143712458d10ceecde57edfccacf92640eb6
imagePullPolicy: IfNotPresent
name: controller
command: ["/usr/local/bin/controller"]
Expand Down
2 changes: 1 addition & 1 deletion data/anvil-rabbitmq-operator/operator.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -718,7 +718,7 @@ spec:
app.kubernetes.io/name: rabbitmq-controller
spec:
containers:
- image: ghcr.io/vmware-research/verifiable-controllers/rabbitmq-controller:b3ead032464239272e77420ea297d6e1af188b35
- image: ghcr.io/vmware-research/verifiable-controllers/rabbitmq-controller:1e00143712458d10ceecde57edfccacf92640eb6
imagePullPolicy: IfNotPresent
name: controller
serviceAccountName: rabbitmq-controller
2 changes: 2 additions & 0 deletions test/cassop-315/trial-04-0000/system-state--01.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"cluster1-test-cluster-default-sts-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/cassop-315/trial-04-0000/system-state-000.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"cluster1-test-cluster-default-sts-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/cassop-315/trial-04-0000/system-state-001.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"cluster1-test-cluster-default-sts-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/cassop-315/trial-04-0000/system-state-002.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"cluster1-test-cluster-default-sts-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/cassop-315/trial-04-0000/system-state-003.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"cluster1-test-cluster-default-sts-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/cassop-315/trial-04-0000/system-state-004.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"cluster1-test-cluster-default-sts-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/cassop-315/trial-04-0000/system-state-005.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"cluster1-test-cluster-default-sts-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/cassop-330/system-state--01.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"cluster1-test-cluster-default-sts-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/cassop-330/system-state-000.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"cluster1-test-cluster-default-sts-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/cassop-330/system-state-001.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"cluster1-test-cluster-default-sts-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/cassop-330/system-state-002.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"cluster1-test-cluster-default-sts-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/crdbop-919/system-state-000.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/crdbop-919/system-state-001.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/crdbop-919/system-state-002.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/crdbop-920/system-state--01.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/crdbop-920/system-state-000.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/crdbop-920/system-state-001.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/crdbop-920/system-state-002.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/rbop-928/system-state--01.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-server-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/rbop-928/system-state-000.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-server-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/rbop-928/system-state-001.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-server-0": {
"api_version": null,
Expand Down
2 changes: 2 additions & 0 deletions test/rbop-928/system-state-002.json
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
{
"daemonset_pods": {},
"daemon_set": {},
"pod": {
"test-cluster-server-0": {
"api_version": null,
Expand Down

0 comments on commit 5f9a6b7

Please sign in to comment.