From 9e4452e02c2574e510da86c7ef36432e656b573e Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Fri, 17 Jan 2020 21:40:19 +0100
Subject: [PATCH] README license

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

diff --git a/README.md b/README.md
index ba6ac92..35230b4 100644
--- a/README.md
+++ b/README.md
@@ -47,3 +47,9 @@ LLVM KLEE strives to cover all feasible paths. When generating tests for errors
 As a consequence, you have to eleminate sources of `panic!()` one by one, which may be time consuming.
 
 We provide a set of macros `klee_abort`, `klee_assert` and `klee_assert_eq`, that gets fully inlined, allowing KLEE to generate specific tests for each failing assertion. Using these, all errors will be covered by unique test.
+
+## Licencse
+
+Copyright Per Lindgren.
+
+All rights reserved, use restricted for non-commercial purpose.
-- 
GitLab