diff --git a/README.md b/README.md
index 521b0de0419f8348be8bc8f1e7ef7eced77827fa..8beb3c0a4959ef832fb48b6b983ee447fb9493b7 100644
--- a/README.md
+++ b/README.md
@@ -9,6 +9,25 @@ cd ~/workspace
 git clone https://gitlab.henriktjader.com/d7020e/d7020e_srp.git
 ```
 
+The code for KLEE-analysis is aquired by running:
+
+```
+git checkout klee
+```
+
+## Command Line setup
+
+Shorthand for running with KLEE-analysis is
+
+```
+make bench
+```
+
+Please inspect the Makefile if you are curious how this is done.
+
+
+## Eclipse setup
+
 Start eclipse through the window manager
 
 Import project to eclipse,