diff --git a/README.md b/README.md
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..71ed94448b559af703ec8f9f8ae295b7072ea79c 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