From 2a9a7733d6dd3c2b1888a404552899760a0cb92f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Mon, 6 Mar 2017 14:52:02 +0100
Subject: [PATCH] Merged from klee-branch

---
 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