From 573395b5f4381d2f8fb063d8a72737764d89b566 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Mon, 26 Feb 2018 10:20:27 +0100
Subject: [PATCH] Added how to instruct klee to generate tests for all paths

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

diff --git a/README.md b/README.md
index 668868a..7bcbed7 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
-- 
GitLab