X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/37213d7848c52f6a88dc5c261c915c847a3fb5ae..bc620a95ca16dbe33d32a462eb8cc06414c0ba3d:/ralf/_posts/2022-09-26-cargo-careful.md diff --git a/ralf/_posts/2022-09-26-cargo-careful.md b/ralf/_posts/2022-09-26-cargo-careful.md index 3a1fc6a..234b8d4 100644 --- a/ralf/_posts/2022-09-26-cargo-careful.md +++ b/ralf/_posts/2022-09-26-cargo-careful.md @@ -12,7 +12,7 @@ However, the regular standard library that is distributed by rustup is compiled [`cargo careful`](https://github.com/RalfJung/cargo-careful) is here to close this gap: when invoked the first time, it builds a standard library with debug assertions from source, and then runs your program or test suite with that standard library. -Installing `cargo careful` is as easy as `cargo install cargo-careful`, and then you can do `cargo careful run`/`cargo careful test` to execute your binary crates and test suites with an extra amount of debug checking. +Installing `cargo careful` is as easy as `cargo install cargo-careful`, and then you can do `cargo +nightly careful run`/`cargo +nightly careful test` to execute your binary crates and test suites with an extra amount of debug checking. This will naturally be slower than a regular debug or release build, but it is *much* faster than executing your program in [Miri](https://github.com/rust-lang/miri) and still helps find some Undefined Behavior. Unlike Miri, it is fully FFI-compatible (though the code behind the FFI barrier is completely unchecked).