readme

README.md

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