diff --git a/README.md b/README.md
index 17d3520fe5e9067aa97ad8a51891e7d7914f723a..b921ebfa5485883d5ee09bc2b17ac2253b5189de 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
 ```