From cef847e1a541b4a0ad27266adde5a50e36dc6fa9 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Thu, 2 Dec 2021 13:29:33 +0100
Subject: [PATCH] bump readme to reflect latest KLEE 2.3-pre

---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 17d3520..b921ebf 100644
--- a/README.md
+++ b/README.md
@@ -27,7 +27,7 @@ If the code under analysis is targeting another architecture (e.g., with other b
 > cd klee-examples
 
 > cargo klee --help
-cargo-klee 0.3.0
+cargo-klee 0.4.0
 Lulea University of Technology (LTU)
 KLEE analysis of Rust application
 
@@ -55,8 +55,9 @@ OPTIONS:
 ...
 KLEE: Using Z3 solver backend
 
-KLEE: done: total instructions = 92
+KLEE: done: total instructions = 89
 KLEE: done: completed paths = 3
+KLEE: done: partially completed paths = 0
 KLEE: done: generated tests = 3
 ```
 
-- 
GitLab