From 79a54a81b7792ce29244b9a7a243c10b6ce843e8 Mon Sep 17 00:00:00 2001
From: Azat Abdullin <azat.aam@gmail.com>
Date: Wed, 20 Mar 2024 17:26:12 +0100
Subject: [PATCH] v0.0.2

---
 README.md                                                     | 2 +-
 kex-annotation-processor/pom.xml                              | 4 ++--
 kex-boolector/pom.xml                                         | 2 +-
 kex-core/pom.xml                                              | 2 +-
 kex-executor/pom.xml                                          | 2 +-
 kex-ksmt/pom.xml                                              | 2 +-
 kex-runner/pom.xml                                            | 2 +-
 .../kex/trace/runner/SymbolicExternalTracingRunner.kt         | 2 +-
 kex-test.ini                                                  | 2 +-
 kex-test/pom.xml                                              | 2 +-
 kex-z3/pom.xml                                                | 2 +-
 kex.py                                                        | 2 +-
 pom.xml                                                       | 2 +-
 13 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/README.md b/README.md
index 66a02e1e8..2275ae7d2 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.1 --classpath /home/myproject/target/myproject.jar \
+ abdullin/kex-standalone:0.0.2 --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 b558bf05c..8223d9194 100644
--- a/kex-annotation-processor/pom.xml
+++ b/kex-annotation-processor/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <artifactId>kex</artifactId>
         <groupId>org.vorpal.research</groupId>
-        <version>0.0.1</version>
+        <version>0.0.2</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
     <packaging>jar</packaging>
@@ -74,4 +74,4 @@
         </plugins>
     </build>
 
-</project>
\ No newline at end of file
+</project>
diff --git a/kex-boolector/pom.xml b/kex-boolector/pom.xml
index aebf9cb49..2f7cc2847 100644
--- a/kex-boolector/pom.xml
+++ b/kex-boolector/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <artifactId>kex</artifactId>
         <groupId>org.vorpal.research</groupId>
-        <version>0.0.1</version>
+        <version>0.0.2</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 
diff --git a/kex-core/pom.xml b/kex-core/pom.xml
index 12d972577..4560ae155 100644
--- a/kex-core/pom.xml
+++ b/kex-core/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <artifactId>kex</artifactId>
         <groupId>org.vorpal.research</groupId>
-        <version>0.0.1</version>
+        <version>0.0.2</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 
diff --git a/kex-executor/pom.xml b/kex-executor/pom.xml
index 5df7d2ea8..5d9cfd395 100644
--- a/kex-executor/pom.xml
+++ b/kex-executor/pom.xml
@@ -8,7 +8,7 @@
     <parent>
         <groupId>org.vorpal.research</groupId>
         <artifactId>kex</artifactId>
-        <version>0.0.1</version>
+        <version>0.0.2</version>
     </parent>
     <artifactId>kex-executor</artifactId>
     <packaging>jar</packaging>
diff --git a/kex-ksmt/pom.xml b/kex-ksmt/pom.xml
index a77912480..e0e9f9765 100644
--- a/kex-ksmt/pom.xml
+++ b/kex-ksmt/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <artifactId>kex</artifactId>
         <groupId>org.vorpal.research</groupId>
-        <version>0.0.1</version>
+        <version>0.0.2</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 
diff --git a/kex-runner/pom.xml b/kex-runner/pom.xml
index d14f38f38..9a560dd97 100644
--- a/kex-runner/pom.xml
+++ b/kex-runner/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <artifactId>kex</artifactId>
         <groupId>org.vorpal.research</groupId>
-        <version>0.0.1</version>
+        <version>0.0.2</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 
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 5860a24a9..1405a9b95 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
@@ -38,7 +38,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.1-jar-with-dependencies.jar")
+            kexConfig.kexHome.resolve("kex-executor/target/kex-executor-0.0.2-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 c860e2fee..ad16826a5 100644
--- a/kex-test.ini
+++ b/kex-test.ini
@@ -39,7 +39,7 @@ maxStringLength = 100
 generationAttempts = 100
 
 [executor]
-executorPath = ../kex-executor/target/kex-executor-0.0.1-jar-with-dependencies.jar
+executorPath = ../kex-executor/target/kex-executor-0.0.2-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 262c1ef2e..9792f4af2 100644
--- a/kex-test/pom.xml
+++ b/kex-test/pom.xml
@@ -5,7 +5,7 @@
 
     <modelVersion>4.0.0</modelVersion>
     <groupId>org.vorpal.research</groupId>
-    <version>0.0.1</version>
+    <version>0.0.2</version>
     <artifactId>kex-test</artifactId>
 
     <properties>
diff --git a/kex-z3/pom.xml b/kex-z3/pom.xml
index 92dc829c8..dd0bc00ba 100644
--- a/kex-z3/pom.xml
+++ b/kex-z3/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <artifactId>kex</artifactId>
         <groupId>org.vorpal.research</groupId>
-        <version>0.0.1</version>
+        <version>0.0.2</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 
diff --git a/kex.py b/kex.py
index 41a7530a9..ca530b79f 100755
--- a/kex.py
+++ b/kex.py
@@ -5,7 +5,7 @@
 import subprocess
 import sys
 
-KEX_VERSION = "0.0.1"
+KEX_VERSION = "0.0.2"
 HEAP_MEMORY_SIZE = "8g"
 STACK_MEMORY_SIZE = "1g"
 
diff --git a/pom.xml b/pom.xml
index 9362ec7ca..350295693 100644
--- a/pom.xml
+++ b/pom.xml
@@ -8,7 +8,7 @@
     <groupId>org.vorpal.research</groupId>
     <artifactId>kex</artifactId>
     <packaging>pom</packaging>
-    <version>0.0.1</version>
+    <version>0.0.2</version>
     <modules>
         <module>kex-test</module>
         <module>kex-core</module>