From cb7e695b2876bde49995fbe3863b43c1a3b18630 Mon Sep 17 00:00:00 2001 From: Zyad Hassan Date: Tue, 21 Jan 2025 14:21:55 -0800 Subject: [PATCH] Update build command in docs to use release mode --- docs/src/build-from-source.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/docs/src/build-from-source.md b/docs/src/build-from-source.md index bfe5d9057d8d..c3d7ecfd4b9a 100644 --- a/docs/src/build-from-source.md +++ b/docs/src/build-from-source.md @@ -50,11 +50,16 @@ source $HOME/.cargo/env ## Build and test Kani -Build the Kani package: +Build the Kani package using: +``` +cargo build-dev -- --release +``` +to compile with optimizations turned on or using: ``` cargo build-dev ``` +to compile in debug/development mode. Then, optionally, run the regression tests: