diff --git a/examples/panic1.rs b/examples/panic1.rs index e578971297abb283ce684ff44d95f3ff83a08358..90ef243c3b30bbb6a819c8d13c002ad3e5039cbf 100644 --- a/examples/panic1.rs +++ b/examples/panic1.rs @@ -65,7 +65,7 @@ fn idle() -> ! { // 2> xargo build --example panic1 --features klee_mode --target x86_64-unknown-linux-gnu // // 1) We need a slightly older version of Rust with a LLVM 4 backend to run KLEE -// `rustup override` will stick the direcory to a set tool-chain (run once) +// `rustup override` will stick the directory to a set tool-chain (run once) // // 2) As LLVM runs on our host we generate the `.bc` with x86 as target // @@ -73,8 +73,8 @@ fn idle() -> ! { // // 3> docker run --rm --user $(id -u):$(id -g) -v $PWD/target/x86_64-unknown-linux-gnu/debug/examples:/mnt -w /mnt -it afoht/llvm-klee-4 /bin/bash // -// 3) This will start the docker with the right previliges and mount the directory -// where the example `.bc` file(s) are stored (shared/overlayed with the host file system). +// 3) This will start the docker with the right privileges and mount the directory +// where the example `.bc` file(s) are stored (shared/overlaid with the host file system). // // You can now let KLEE run on the `.bc` file. //