diff --git a/README.md b/README.md
index f53f15d91..d9182f2a7 100644
--- a/README.md
+++ b/README.md
@@ -55,7 +55,7 @@ Docker images with the latest version installed. Example:
```bash
docker run -v ~/myproject:/home/myproject -v ~/kex-output:/home/kex-output \
- abdullin/kex-standalone:0.0.4 --classpath /home/myproject/target/myproject.jar \
+ abdullin/kex-standalone:0.0.5 --classpath /home/myproject/target/myproject.jar \
--target myproject.\* --output /home/kex-output --mode concolic
```
diff --git a/kex-annotation-processor/pom.xml b/kex-annotation-processor/pom.xml
index 67410a79c..2706162a1 100644
--- a/kex-annotation-processor/pom.xml
+++ b/kex-annotation-processor/pom.xml
@@ -5,7 +5,7 @@
kex
org.vorpal.research
- 0.0.4
+ 0.0.5
../pom.xml
jar
diff --git a/kex-boolector/pom.xml b/kex-boolector/pom.xml
index ad8aa918e..aacbe42c8 100644
--- a/kex-boolector/pom.xml
+++ b/kex-boolector/pom.xml
@@ -5,7 +5,7 @@
kex
org.vorpal.research
- 0.0.4
+ 0.0.5
4.0.0
diff --git a/kex-core/pom.xml b/kex-core/pom.xml
index afe347ad6..44fbcf598 100644
--- a/kex-core/pom.xml
+++ b/kex-core/pom.xml
@@ -5,7 +5,7 @@
kex
org.vorpal.research
- 0.0.4
+ 0.0.5
4.0.0
diff --git a/kex-executor/pom.xml b/kex-executor/pom.xml
index e95a07dde..329d3be48 100644
--- a/kex-executor/pom.xml
+++ b/kex-executor/pom.xml
@@ -8,7 +8,7 @@
org.vorpal.research
kex
- 0.0.4
+ 0.0.5
kex-executor
jar
diff --git a/kex-ksmt/pom.xml b/kex-ksmt/pom.xml
index 31a0caaa5..bc4710fbb 100644
--- a/kex-ksmt/pom.xml
+++ b/kex-ksmt/pom.xml
@@ -5,7 +5,7 @@
kex
org.vorpal.research
- 0.0.4
+ 0.0.5
4.0.0
diff --git a/kex-runner/pom.xml b/kex-runner/pom.xml
index 18249a22d..7a7286e49 100644
--- a/kex-runner/pom.xml
+++ b/kex-runner/pom.xml
@@ -5,7 +5,7 @@
kex
org.vorpal.research
- 0.0.4
+ 0.0.5
4.0.0
diff --git a/kex-runner/src/main/kotlin/org/vorpal/research/kex/trace/runner/SymbolicExternalTracingRunner.kt b/kex-runner/src/main/kotlin/org/vorpal/research/kex/trace/runner/SymbolicExternalTracingRunner.kt
index f3bbcd914..7aa171c9d 100644
--- a/kex-runner/src/main/kotlin/org/vorpal/research/kex/trace/runner/SymbolicExternalTracingRunner.kt
+++ b/kex-runner/src/main/kotlin/org/vorpal/research/kex/trace/runner/SymbolicExternalTracingRunner.kt
@@ -43,7 +43,7 @@ internal object ExecutorMasterController : AutoCloseable {
controllerSocket = ControllerProtocolSocketHandler(ctx)
val outputDir = kexConfig.outputDirectory
val executorPath = kexConfig.getPathValue("executor", "executorPath") {
- kexConfig.kexHome.resolve("kex-executor/target/kex-executor-0.0.4-jar-with-dependencies.jar")
+ kexConfig.kexHome.resolve("kex-executor/target/kex-executor-0.0.5-jar-with-dependencies.jar")
}.toAbsolutePath()
val executorKlass = "org.vorpal.research.kex.launcher.MasterLauncherKt"
val executorConfigPath = kexConfig.getPathValue("executor", "executorConfigPath") {
diff --git a/kex-test.ini b/kex-test.ini
index af43e5b6e..6f1522db3 100644
--- a/kex-test.ini
+++ b/kex-test.ini
@@ -68,7 +68,7 @@ maxStringLength = 100
generationAttempts = 100
[executor]
-executorPath = ../kex-executor/target/kex-executor-0.0.4-jar-with-dependencies.jar
+executorPath = ../kex-executor/target/kex-executor-0.0.5-jar-with-dependencies.jar
executorConfigPath = ../kex-test.ini
executorPolicyPath = ../kex.policy
numberOfWorkers = 1
diff --git a/kex-test/pom.xml b/kex-test/pom.xml
index eb1a7ac20..cc0eaf6f6 100644
--- a/kex-test/pom.xml
+++ b/kex-test/pom.xml
@@ -5,7 +5,7 @@
4.0.0
org.vorpal.research
- 0.0.4
+ 0.0.5
kex-test
diff --git a/kex-z3/pom.xml b/kex-z3/pom.xml
index 7ea3896d0..32729b2b0 100644
--- a/kex-z3/pom.xml
+++ b/kex-z3/pom.xml
@@ -5,7 +5,7 @@
kex
org.vorpal.research
- 0.0.4
+ 0.0.5
4.0.0
diff --git a/kex.py b/kex.py
index 158b5f219..d7b5cb71d 100755
--- a/kex.py
+++ b/kex.py
@@ -5,7 +5,7 @@
import subprocess
import sys
-KEX_VERSION = "0.0.4"
+KEX_VERSION = "0.0.5"
HEAP_MEMORY_SIZE = "8g"
STACK_MEMORY_SIZE = "1g"
diff --git a/pom.xml b/pom.xml
index b06d9d283..526947f12 100644
--- a/pom.xml
+++ b/pom.xml
@@ -8,7 +8,7 @@
org.vorpal.research
kex
pom
- 0.0.4
+ 0.0.5
kex-test
kex-core