From b23ded899240677b210aa8db27f218b94fa924b7 Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Sat, 28 Dec 2019 17:50:25 +0100
Subject: [PATCH] works (polish README.md)

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 7ea386a..ba6ac92 100644
--- a/README.md
+++ b/README.md
@@ -46,4 +46,4 @@ LLVM KLEE strives to cover all feasible paths. When generating tests for errors
 
 As a consequence, you have to eleminate sources of `panic!()` one by one, which may be time consuming.
 
-We provide a set of macros `klee_abort`, `klee_assert` and `klee_assert_eq`, that gets fully inlined, allowing KLEE to generate specific tests for each failing assertion.
+We provide a set of macros `klee_abort`, `klee_assert` and `klee_assert_eq`, that gets fully inlined, allowing KLEE to generate specific tests for each failing assertion. Using these, all errors will be covered by unique test.
-- 
GitLab