From 54feba25e34fb33a9d95c4dd1865ca0600f2ad72 Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Mon, 30 Dec 2019 16:48:38 +0100
Subject: [PATCH] readme

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

diff --git a/README.md b/README.md
index e69de29..71ed944 100644
--- a/README.md
+++ b/README.md
@@ -0,0 +1,9 @@
+# klee-examples
+
+This repo contains a set of usage examples for `klee-sys` low-level KLEE bindings. 
+
+## klee_only_test.rs
+
+This example showcase the different path termintaiton conditions possible and their effect to KLEE test case generation.
+
+> cargo klee --example klee_only_test
-- 
GitLab