Debug

Author: zhassan-aws

src/install-kani.sh

@@ -2,6 +2,8 @@
 # Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
+set -x
+
 # If version is latest, install directly from cargo
 if [ "$1" == "latest" ]; then
     cargo +stable install --locked kani-verifier;