From 3f84218b8f628f8ff7d4bac688066048b5e5e9f9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Mon, 26 Feb 2018 15:24:14 +0100
Subject: [PATCH] Updated readme for panic1

---
 README.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index 7bcbed7..88dae5a 100644
--- a/README.md
+++ b/README.md
@@ -17,7 +17,7 @@ Use a Rust toolchain with a llvm4 backend, e.g., nightly-2018-01-10-x86_64-unkno
 
 > 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
+> xargo build --example panic1 --features klee_mode --target x86_64-unknown-linux-gnu
 
 The `--features klee_mode` implies the following:
 
@@ -34,7 +34,7 @@ rustflags = [
 ]
 ```
 
-So both `.bc` and `.ll` are generated for the application at hand (`empty.rs`). (Only `.bc` is indeed needed/used for KLEE analysis, but the `.ll` is neat as being human readable for code inspection).
+So both `.bc` and `.ll` are generated for the application at hand (`panic1.rs`). (Only `.bc` is indeed needed/used for KLEE analysis, but the `.ll` is neat as being human readable for code inspection).
 
 The files will contain all symbols besides the *weakly* defined default handlers (which should not be analysed by KLEE in any case).
 
@@ -65,15 +65,15 @@ In the current folder:
 
 > docker run --rm --user $(id -u):$(id -g) -v $PWD/target/x86_64-unknown-linux-gnu/release/examples:/mnt -w /mnt -it afoht/llvm-klee-4 /bin/bash
 
-This starts a shell in the docker `llvm-klee-4`, with a shared mount to the examples directory, where your `empty-xxxx.bc` is located.
+This starts a shell in the docker `llvm-klee-4`, with a shared mount to the examples directory, where your `panic1-xxxx.bc` is located.
 
 From there you can run various commands like:
 
-> klee empty-xxxxx.bc
+> klee panic1-xxxxx.bc
 
 To emit all the different errors, use
 
-> klee --emit-all-errors empty-xxxxx.bc
+> klee --emit-all-errors panic1-xxxxx.bc
 
 this will generate a test-file for each and every path encountered.
 
-- 
GitLab