diff --git a/README.md b/README.md
index 668868a97b7b740ed869e5b42dac641164f6fc47..7bcbed72f275ed6d0725b94061fce3662f41f331 100644
--- a/README.md
+++ b/README.md
@@ -71,6 +71,12 @@ From there you can run various commands like:
 
 > klee empty-xxxxx.bc
 
+To emit all the different errors, use
+
+> klee --emit-all-errors empty-xxxxx.bc
+
+this will generate a test-file for each and every path encountered.
+
 See KLEE for detailed information.
 
 Licensed under either of