bump readme to reflect latest KLEE 2.3-pre

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
 ```