Replace ./x.py fmt by kani-fmt script (rust-lang#761)

This is part of rust-lang#641

scripts/kani-fmt.sh

@@ -0,0 +1,49 @@
+#!/usr/bin/env bash
+# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+#
+# Runs `rustfmt` in our source crates and tests.
+# The arguments given to this script are passed to rustfmt.
+set -o errexit
+set -o pipefail
+set -o nounset
+
+# Run from the repository root folder
+ROOT_FOLDER=$(git rev-parse --show-toplevel)
+cd ${ROOT_FOLDER}
+
+# Verify crates.
+# TODO: We should be able to use workspace once we unfork from rustc.
+# https://github.com/model-checking/rmc/issues/719
+CRATES=(
+    "bookrunner"
+    "cbmc"
+    "compiletest"
+    "kani-compiler"
+    "kani"
+    "kani_macros"
+    "kani_queries"
+    "kani_restrictions"
+    "rustc_codegen_kani"
+)
+
+error=0
+for crate in ${CRATES[@]}; do
+    # Check all crates. Only fail at the end.
+    cargo fmt $@ -p ${crate} || error=1
+done
+
+# Check test source files.
+TESTS=("src/test/kani"
+    "src/test/prusti"
+    "src/test/smack"
+    "src/test/expected"
+    "src/test/cargo-kani"
+    "kani-docs/src/tutorial")
+
+for suite in "${TESTS[@]}"; do
+    files=$(find "${suite}" -name "*.rs")
+    rustfmt --unstable-features $@ ${files} || error=1
+done
+
+exit $error

scripts/kani-regression.sh

@@ -28,7 +28,7 @@ check-cbmc-version.py --major 5 --minor 48
 check-cbmc-viewer-version.py --major 2 --minor 5
 
 # Formatting check
-./x.py fmt --check
+${SCRIPT_DIR}/kani-fmt.sh --check
 
 # Build Kani compiler and Kani library
 (cd "${KANI_DIR}/src/kani-compiler"; cargo build)

scripts/std-lib-regression.sh

@@ -40,7 +40,7 @@ cargo new std_lib_test --lib
 cd std_lib_test
 
 # Use same nightly toolchain used to build Kani
-cp ${KANI_DIR}/src/kani-compiler/rust-toolchain.toml .
+cp ${KANI_DIR}/rust-toolchain.toml .
 
 echo "Starting cargo build with Kani"
 export RUSTC_LOG=error