From f0330d6e22cb2098ca8495c8e4a42497c22149b6 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 10 Jun 2024 21:46:59 +0200 Subject: [PATCH] Update tests/cargo-kani/build-rs-plus-host-with-kani-proofs/README.md Co-authored-by: Felipe R. Monteiro --- tests/cargo-kani/build-rs-plus-host-with-kani-proofs/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/README.md b/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/README.md index 8b5d0799e11f..9d708118874b 100644 --- a/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/README.md +++ b/tests/cargo-kani/build-rs-plus-host-with-kani-proofs/README.md @@ -1,4 +1,4 @@ -This repo contains contains a minimal example that breaks compilation when using [kani](https://github.com/model-checking/kani), where I would expect compilation to work. +This repository contains a minimal example that breaks compilation when using [kani](https://github.com/model-checking/kani), where we would expect compilation to work. Deleting the `binary/build.rs` script makes the compilation work suddenly, despite it being skipped anyways: