Skip to content
Snippets Groups Projects
Commit 85f1f494 authored by Per's avatar Per
Browse files

readme

parent 5a241df7
Branches
Tags
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 2 additions and 1 deletion
README.md
+ 2
− 1
View file @ 85f1f494
......@@ -13,8 +13,9 @@
## Complilation
Use a Rust toolchain with a llvm4 backend.
Use a Rust toolchain with a llvm4 backend, e.g., nightly-2018-01-10-x86_64-unknown-linux-gnu.
> rustup override set nightly-2018-01-10-x86_64-unknown-linux-gnu
> xargo build --example empty --features klee_mode --release --target x86_64-unknown-linux-gnu
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment