sync: verify-rust-std a914785e => ca5f7b8bb3; kani 12386811f9 => 53a7a3b5

zjp-CN · zjp-CN · commit e483b40c3059 · 2025-08-06T14:02:05.000Z
diff --git a/.github/gen_core.json.sh b/.github/gen_core.json.sh
@@ -13,7 +13,7 @@ export VERIFY_RUST_STD_LIBRARY=$WORKSPACE/verify-rust-std/library
 # * update runid after verify-rust-std submodule syncs
 # * update snapshots after runid changes
 rm tmp -rf
-gh run download -D tmp -R model-checking/verify-rust-std 16057809811
+gh run download -D tmp -R model-checking/verify-rust-std ca5f7b8bb3f19
 
 ls -alh $VERIFY_RUST_STD_LIBRARY
 
diff --git a/kani b/kani
@@ -1 +1 @@
-Subproject commit 12386811f934e7eb76e794bea787a1030f934735
+Subproject commit 53a7a3b516c5cbe504378d4a208d07d49b5aa4ec
diff --git a/verify-rust-std b/verify-rust-std
@@ -1 +1 @@
-Subproject commit a914785e79c024e37fcd7d81162058e620f056c1
+Subproject commit ca5f7b8bb3f19c0153be07cef4f524864de03b42
