Partially working cargo kani hack. Recovery is not running though.

model-checking · Jul 9, 2022 · a26fbcf · a26fbcf
1 parent 5697a90
commit a26fbcf
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/scripts/cargo-kani b/scripts/cargo-kani
@@ -19,4 +19,16 @@ then
 fi
 KANI_PATH=${KANI_CANDIDATES[0]}
 
+CARGO_TOML_SAVE_FILE='.save-cargo.toml'
+if [[ "$PROPTEST" == "1" ]]; then
+    cp Cargo.toml $CARGO_TOML_SAVE_FILE
+    cat Cargo.toml |  sed 's/^\s*proptest.*$//g' | tee Cargo.toml 1>/dev/null
+
+fi
+
 exec -a cargo-kani "${KANI_PATH}" "$@"
+EXIT_CODE="$?"
+
+# todo! Somehow, this is not running. Exits fro cargo kani error.
+cat $CARGO_TOML_SAVE_FILE > Cargo.toml
+exit $EXIT_CODE