Skip to content

Commit

Permalink
version up
Browse files Browse the repository at this point in the history
  • Loading branch information
AbdullinAM committed Aug 22, 2024
1 parent f8c09d8 commit 33575b7
Show file tree
Hide file tree
Showing 13 changed files with 13 additions and 13 deletions.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,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.9 --classpath /home/myproject/target/myproject.jar \
abdullin/kex-standalone:0.0.10 --classpath /home/myproject/target/myproject.jar \
--target myproject.\* --output /home/kex-output --mode concolic
```

Expand Down
2 changes: 1 addition & 1 deletion kex-annotation-processor/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<artifactId>kex</artifactId>
<groupId>org.vorpal.research</groupId>
<version>0.0.9</version>
<version>0.0.10</version>
<relativePath>../pom.xml</relativePath>
</parent>
<packaging>jar</packaging>
Expand Down
2 changes: 1 addition & 1 deletion kex-boolector/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<artifactId>kex</artifactId>
<groupId>org.vorpal.research</groupId>
<version>0.0.9</version>
<version>0.0.10</version>
</parent>
<modelVersion>4.0.0</modelVersion>

Expand Down
2 changes: 1 addition & 1 deletion kex-core/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<artifactId>kex</artifactId>
<groupId>org.vorpal.research</groupId>
<version>0.0.9</version>
<version>0.0.10</version>
</parent>
<modelVersion>4.0.0</modelVersion>

Expand Down
2 changes: 1 addition & 1 deletion kex-executor/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
<parent>
<groupId>org.vorpal.research</groupId>
<artifactId>kex</artifactId>
<version>0.0.9</version>
<version>0.0.10</version>
</parent>
<artifactId>kex-executor</artifactId>
<packaging>jar</packaging>
Expand Down
2 changes: 1 addition & 1 deletion kex-ksmt/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<artifactId>kex</artifactId>
<groupId>org.vorpal.research</groupId>
<version>0.0.9</version>
<version>0.0.10</version>
</parent>
<modelVersion>4.0.0</modelVersion>

Expand Down
2 changes: 1 addition & 1 deletion kex-runner/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<artifactId>kex</artifactId>
<groupId>org.vorpal.research</groupId>
<version>0.0.9</version>
<version>0.0.10</version>
</parent>
<modelVersion>4.0.0</modelVersion>

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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.9-jar-with-dependencies.jar")
kexConfig.kexHome.resolve("kex-executor/target/kex-executor-0.0.10-jar-with-dependencies.jar")
}.toAbsolutePath()
val executorKlass = "org.vorpal.research.kex.launcher.MasterLauncherKt"
val executorConfigPath = kexConfig.getPathValue("executor", "executorConfigPath") {
Expand Down
2 changes: 1 addition & 1 deletion kex-test.ini
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,7 @@ maxStringLength = 100
generationAttempts = 100

[executor]
executorPath = ../kex-executor/target/kex-executor-0.0.9-jar-with-dependencies.jar
executorPath = ../kex-executor/target/kex-executor-0.0.10-jar-with-dependencies.jar
executorConfigPath = ../kex-test.ini
executorPolicyPath = ../kex.policy
numberOfWorkers = 1
Expand Down
2 changes: 1 addition & 1 deletion kex-test/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@

<modelVersion>4.0.0</modelVersion>
<groupId>org.vorpal.research</groupId>
<version>0.0.9</version>
<version>0.0.10</version>
<artifactId>kex-test</artifactId>

<properties>
Expand Down
2 changes: 1 addition & 1 deletion kex-z3/pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<artifactId>kex</artifactId>
<groupId>org.vorpal.research</groupId>
<version>0.0.9</version>
<version>0.0.10</version>
</parent>
<modelVersion>4.0.0</modelVersion>

Expand Down
2 changes: 1 addition & 1 deletion kex.py
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
import subprocess
import sys

KEX_VERSION = "0.0.9"
KEX_VERSION = "0.0.10"
HEAP_MEMORY_SIZE = "8g"
STACK_MEMORY_SIZE = "1g"

Expand Down
2 changes: 1 addition & 1 deletion pom.xml
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
<groupId>org.vorpal.research</groupId>
<artifactId>kex</artifactId>
<packaging>pom</packaging>
<version>0.0.9</version>
<version>0.0.10</version>
<modules>
<module>kex-test</module>
<module>kex-core</module>
Expand Down

0 comments on commit 33575b7

Please sign in to comment.