From 020e97834ae87cd604fd1520b03326534efdbfd1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Mon, 6 Mar 2017 09:37:41 +0100
Subject: [PATCH] Explain how to use the makefile and how to get the KLEE kode

---
 README.md | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/README.md b/README.md
index 521b0de..8beb3c0 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, 
-- 
GitLab