remove deprecated ptr-to-ref-cast-checks

model-checking · Aug 15, 2024 · a094cab · a094cab
1 parent b698eef
commit a094cab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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