From a094cabe95bbbb340c66c5ac2f168403dc3c474c Mon Sep 17 00:00:00 2001 From: Carolyn Zech Date: Thu, 15 Aug 2024 18:42:54 -0400 Subject: [PATCH] remove deprecated ptr-to-ref-cast-checks --- scripts/check_kani.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/check_kani.sh b/scripts/check_kani.sh index f381c1a376c83..c93499cb7a398 100644 --- a/scripts/check_kani.sh +++ b/scripts/check_kani.sh @@ -44,7 +44,7 @@ cargo build-dev --release echo "Running tests..." echo cd "$VERIFY_RUST_STD_DIR" -$KANI_DIR/scripts/kani verify-std -Z unstable-options $VERIFY_RUST_STD_DIR/library --target-dir "$RUNNER_TEMP" -Z function-contracts -Z mem-predicates -Z ptr-to-ref-cast-checks +$KANI_DIR/scripts/kani verify-std -Z unstable-options $VERIFY_RUST_STD_DIR/library --target-dir "$RUNNER_TEMP" -Z function-contracts -Z mem-predicates echo "Tests completed." echo